MathSAT - Links

MathSAT 5
An SMT Solver for Formal Verification & More

Links

PySMT, a high-level, solver-agnostic Python API for SMT.
The nuXmv model checker.
OptiMathSAT, a solver for Optimization Modulo Theories (OMT) based on MathSAT5.
The MathSAT 4 web page.
The Kratos Software Model Checker.
The SMT-LIB.
The SMT solvers competition SMT-COMP.
SMT on Wikipedia (includes links to other SMT solvers).

mathsat [AT] fbk [DOT] eu

mathsat-announce mailing list