C++ Reference: sat_base

This documentation is automatically generated.

Basic types and classes used by the sat solver.

Classes

Literal
SatPropagator
Trail
VariablesAssignment

Send feedback about...