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.

Source Tarball - All Platforms - Version 44

Linux Binary Version 43

Windows Binary Version 42
requires Cygwin

Mac OS X Binary Version 44

Examples from source directory only

Original SATPLAN (1992-1997)

Notes


Back to the Blackbox Home Page.