up previous next

1.10.5 MathSAT

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

All functions starting with MSAT are implemented in MathSAT.