SAT.Solver.Mios.Solver

Solver

data Solver

newSolver

Misc Accessors

nAssigns

nClauses

nLearnts

decisionLevel

valueVar

valueLit

locked

data VarHeap

State Modifiers

addClause

enqueue

assume

cancelUntil

getModel

Activities

claBumpActivity

claDecayActivity

varBumpActivity

varDecayActivity

Stats

data StatIndex

incrementStat

getStats