OptiMathSAT

An Optimization Modulo Theories (OMT) tool

Download

If you need a build for a different operating system and/or architecture, please contact us.

License

OptiMathSAT is an extension of MathSAT 5 and as such it is available at the same licence conditions as MathSAT 5:

OptiMathSAT is copyrighted 2009-2022 by Fondazione Bruno Kessler, Trento, Italy, University of Trento, Italy, and others. All rights reserved.

OptiMathSAT is available for research and evaluation purposes only. It can not be used in a commercial environment, particularly as part of a commercial product, without written permission.

OptiMathSAT is provided as is, without any warranty.


Please write to
roberto_DOT_sebastiani_AT_unitn_DOT_it
for additional questions regarding licensing OptiMathSAT or obtaining more up-to-date versions.