up previous next
1.9.5 MathSAT
MathSAT - Satisfiability modulo theories (SMT) solver http://mathsat.fbk.eu/

All functions starting with MSAT are implemented in MathSAT.