We currently provide only statically-linked binaries for linux/unix. Follow the instruction inside the README file.

Here you can find the grammar of the language accepted by mathsat.

Latest Release 3.4.1 (May 22, 2007)
mathsat-3.4.1
mathsat-3.4.1 (Prints model)

mathsat-3.4.1 (Support for HMP) and some example queries. The HMP theory solver (straclos) has been provided by Zvonimir Rakamaric.

Old Releases
mathsat-3.4 (Aug. 16, 2006)
mathsat-3.3.1 (Jan. 16, 2006)
mathsat-3.3.0 (Nov. 17, 2005)
mathsat-3.2.1 (Apr. 4, 2005)
mathsat-3.2.0 (Feb. 1, 2005)
mathsat-3.1.1 (Jan. 12, 2005)
mathsat-3.1.0 (Nov. 22, 2004)
mathsat-3.0.0 (Oct. 22, 2004)