OptiMathSAT is copyrighted 2009-2021 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
for additional questions regarding licensing OptiMathSAT or obtaining more up-to-date versions.