MoreList

CNF

Trail

SatSolverVerification

BasicDPLL

NieuwenhuisOliverasTinelli

KrsticGoel

SatSolverCode

AssertLiteral

UnitPropagate

Initialization

ConflictAnalysis

Decide

SolveLoop

FunctionalImplementation