E  
EmptyHeap [Heap]  
Error [Smt]  
Error [Typing]  
I  
Inconsistent [Exception]  
Interpreted_Symbol [Exception]  
M  
Maybe_zero [Polynome]  
N  
NotCongruent [Exception]  
NotConsistent [Intervals]  
Not_a_float [Intervals]  
Not_a_num [Polynome]  
P  
Progress [Exception]  
R  
ReachedLimit [Stats] 
raised if the search exceeds the allocated limits

S  
Sat [Enumsolver]  
Sat [Solver]  
T  
Trivial [Exception]  
U  
Unsafe [Safety] 
exception to signal that a safety check failed.

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

Unsolvable [Exception] 