Archive of MathSAT Downloads

MathSAT 5
An SMT Solver for Formal Verification

Archive of MathSAT Downloads

Version 5.1.6 (Apr 19, 2012):
- Linux: 32-bit x86, 64-bit x86.
Version 5.1.5 (Apr 4, 2012):
- Linux: 32-bit x86, 64-bit x86.
Version 5.1.4 (Mar 23, 2012):
- Linux: 32-bit x86, 64-bit x86.
Version 5.1.3 (Dec 29, 2011):
- Linux: 32-bit x86, 64-bit x86.
Version 5.1.2 (Dec 19, 2011):
- Linux: 32-bit x86, 64-bit x86.
Version 5.1.1 (Dec 16, 2011):
- Linux: 32-bit x86, 64-bit x86.

mathsat [AT] fbk [DOT] eu