Data.Boolean.SatSolver
data Boolean
data SatSolver
data Literal
literalVar
invLiteral
isPositiveLiteral
type CNF
type Clause
booleanToCNF
newSatSolver
isSolved
lookupVar
assertTrue
assertTrue'
branchOnVar
selectBranchVar
solve
isSolvable