Module: MiniSat

Defined in:

ext/minisat/minisat.c

Defined Under Namespace

Classes: Literal, Solver, Variable