Index of exceptions

The exception raised by Smt.Solver.check and Smt.Solver.assume when the formula is unsatisfiable.

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