SAT.Solver.Mios.ClauseManager

higher level interface for ClauseVector

class ClauseManager a

Manager with an extra Int (used as sort key or blocking literal)

data ClauseExtManager

pushClauseWithKey

getKeyVector

markClause

WatcherList

type WatcherList

newWatcherList

getNthWatcher

garbageCollect