C++ Reference: clause

This documentation is automatically generated.

This file contains the solver internal representation of the clauses and the classes used for their propagation.

Classes

BinaryClauseManager
BinaryImplicationGraph
LiteralWatchers
SatClause

Send feedback about...