C++ Reference: simplification

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

Send feedback about...