Modules
Clause
Formula
Literal
SatSolver
Variable