Download *SAT

*SAT 1.3 is the most recent public release of the *SAT system. If you want to learn about the history of *SAT versions and what is new in *SAT 1.3 have a look at the release notes. *SAT has been built under the following operating systems, and may work on others:

Vendor Architecture Operating System
PC Intel Pentium Linux 2.0.32 - 2.2.5 (RedHat and SuSE)
Sun Sparc/ULTRA Sparc SunOs
Sun Sparc/ULTRA Sparc Solaris

You can download the following documentation (gzipped postscripts) about *SAT:

You can also download the following sources:

Back to the *SAT project Homepage