MathSAT 5

• Version 5.1.3 (Dec 29, 2011):
  • Linux: 32-bit x86, 64-bit x86.
• Release Notes.
• Previous versions.

If you need a build for a different operating system and/or architecture, please contact us. We can also provide API bindings for Python and Java upon request.

License

MathSAT5 is copyrighted 2009-2011 by FBK-IRST, Italy, University of Trento, Italy, and others. All rights reserved.

MathSAT5 is available for research and evaluation purposes in an academic environment only. It can not be used in a commercial environment, particularly as part of a commercial product, without written permission. MathSAT5 is provided as is, without any warranty.

Please write to mathsat@fbk.eu for additional questions regarding licensing MathSAT5 or obtaining more up-to-date versions.