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:

*SAT manual contains detailed instructions on how to install and run *SAT
*SAT system description contains an overview of *SAT architecture and its features

You can also download the following sources:

StarSAT-1.3 The source code of *SAT 1.3
K-CNF-generator The source code of the K-CNF-generator used in our experimental analises

Back to the *SAT project Homepage