C++ Reference: simplification

Note: This documentation is automatically generated.

Implementation of a pure SAT presolver. This roughly follows the paper:

"Effective Preprocessing in SAT through Variable and Clause Elimination", Niklas Een and Armin Biere, published in the SAT 2005 proceedings.

Classes
SatPostsolver
SatPresolver