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.



Patch Descriptions

Fix parallel builds. The Makefile uses the name MFLAGS, which unfortunately is a GNU make internal variable related to parallel builds. Mass confusion results.
This patch fixes a minor 64-bit cleanliness problem.
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: Sat Jul 7 17:08:33 MDT 2018 by Jerry James