Blackbox Download Page

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 42

To compile under Mac OS X, you need to change includes for malloc.h to stdlib.h.

Get Cygwin

The 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)

Notes


Back to the Blackbox Home Page.