OptiMathSAT
An Optimization Modulo Theories (OMT) tool
Contents
Home
People
Documentation
Download
Release Notes
Previous Versions
Other Versions
Papers
Links
Archive of OptiMathSAT Downloads
Paper Versions
2014 TOCL Paper:
Linux:
64-bit x86
