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.
Notes
- Version 4.4 is the same as 4.3, except for (i) changes needed to compile under Mac OS X Snow Leopard and (ii) the default solver schedule is to simply use chaff.
- Version 4.3 is the same as 4.2, except for changes needed to compile under g++ version 4.0.x.
- Dumping core is a sign that blackbox has exhausted memory.
- The option "-n" (add implicit negative literals) does not work. Planning problems that include negative literals in preconditions might not work properly.
Back to the Blackbox Home Page.