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.

SRPMS

zchaff-2007.3.12-6.fc21.src.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-gcc47.patch
GCC 4.7 has a streamlined header architecture. As a result, some header files that used to be included implicitly must be included explicitly. Also, automatic conversions from string to non-const char * have been deprecated.

Back to the RPMS


Last modified: Mon Jan 20 13:08:14 MST 2014 by Jerry James