Index of exceptions


E
Error [Smt]

U
Unsat [Smt]
The exception raised by Smt.Solver.check and Smt.Solver.assume when the formula is unsatisfiable.