zChaff 2007.3.12

zChaff is a state of the art Boolean Satisfiability Solver designed for robustness and efficiency. It features a highly optimized deduction engine and pioneered the VSIDS decision strategy.

SOURCES

While zchaff can be freely redistributed under its license, the authors ask that users register with them to get the sources. As a courtesy to the authors, this package is offered as a nosrc package only. Register to download the sources. Get the 64-bit sources, even on 32-bit platforms, as we patch the only problem that prevents the sources from being identical.

SRPMS

zchaff-2007.3.12-2.nosrc.rpm

Patch Descriptions

zchaff-make.patch

Fix parallel builds. The Makefile uses the name MFLAGS, which unfortunately is a GNU make internal variable related to parallel builds. Mass confusion results.

zchaff-64bit.patch

This patch fixes a minor 64-bit cleanliness problem.

zchaff-gcc43.patch

GCC 4.3 introduced a streamlined header architecture. As a result, some header files that used to be included implicitly must be included explicitly. Also, automatic conversion from strings to the type char * have been deprecated.

Back to the RPMS