SAT.Mios.Solver

Solver

data Solver

data VarHeap

newSolver

getModel

Misc Accessors

nAssigns

nClauses

nLearnts

decisionLevel

valueVar

valueLit

locked

State Modifiers

addClause

enqueue

assume

cancelUntil

Activities

claBumpActivity

claRescaleActivityAfterRestart

varBumpActivity

varDecayActivity

claActivityThreshold

Stats

data StatIndex

getStat

setStat

incrementStat

getStats