C++ Reference: sat_inprocessing

Note: This documentation is automatically generated.

This file contains the entry point for our presolve/inprocessing code.

TODO(user): for now it is mainly presolve, but the idea is to call these function during the search so they should be as incremental as possible. That is avoid doing work that is not useful because nothing changed or exploring parts that were not done during the last round.

Classes

BlockedClauseSimplifier
BoundedVariableElimination
Inprocessing
StampingSimplifier