S
A
T
S
olver
V
erification
MoreList
CNF
Trail
SatSolverVerification
BasicDPLL
NieuwenhuisOliverasTinelli
KrsticGoel
SatSolverCode
AssertLiteral
UnitPropagate
Initialization
ConflictAnalysis
Decide
SolveLoop
FunctionalImplementation