Looking for SATPLAN-2004? Then go to the SATPLAN home page instead. This page is to download the 1997-2003 version of the system.
Linux Binary Version 43 (New, 11 Jan 2006) |
Windows Binary Version 42 |
Mac OS X Binary Version 42To compile under Mac OS X, you need to change includes for malloc.h to stdlib.h. |
Get CygwinThe Windows version requires that you either install the Cygwin environment on your PC or at least that the Cygwin1.dll be installed in either your Windows directory or the current working directory. |
Source Zip File Version 43 (New, 11 Jan 2006) |
Source Tarball Version 42 |
Source Tarball Version 41 |
Source Tarball Version 39 |
Examples from source directory only |
Original SATPLAN (1992-1997) |
Back to the Blackbox Home Page.