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.
- 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.
Last modified: Sat Jul 7 17:08:33 MDT 2018
by Jerry James