Jukebox.Sat
data Solver
newSolver
deleteSolver
data Lit
neg
false
true
class SatSolver s
newLit
addClause
solve
conflict
modelValue
value