SAT.Mios.Solver

Solver

data Solver

newSolver

Misc Accessors

nAssigns

nClauses

nLearnts

decisionLevel

valueVar

valueLit

locked

State Modifiers

addClause

enqueue

assume

cancelUntil

getModel

Activities

claBumpActivity

claRescaleActivityAfterRestart

varBumpActivity

varDecayActivity

claActivityThreshold

Stats

data StatIndex

getStat

setStat

incrementStat

getStats