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 - Version 45

Linux Binary Version 43

Windows Binary Version 42
requires Cygwin

Mac OS X Binary Version 45

Notes

Back to the Blackbox Home Page.