MathSAT - Download

• Version 5.6.11 (Aug 9, 2024):
  • Linux: 64-bit x86, Reentrant 64-bit x86, Reentrant 64-bit ARM (aarch64).
  • Mac OS X: Universal binary.
  • Windows: 64-bit x86.

• Nightly Builds (Linux only, for testing purposes).

• Release Notes.
• Previous versions.

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

If you want to be notified about new releases, you can subscribe to the mathsat-announce mailing list.

License

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

MathSAT5 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. 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.