MiniSat

withNewSolverAsync

withNewSolver

newSolver

deleteSolver

newLit

neg

addClause

simplify

eliminate

setFrozen

isEliminated

solve

limited_solve

value

modelValue

conflict

l_True

l_Undef

l_False

data Solver

data Var

data Lit

data LBool