OptiMathSAT
An Optimization Modulo Theories (OMT) tool
Contents
Home
People
Documentation
Download
Papers
Links
Links
The
MathSAT 5
web page.
The
nuXmv
model checker.
The
SMT-LIB
.
The SMT solvers competition
SMT-COMP
.
SMT on Wikipedia
(includes links to other SMT solvers).
