Data.Boolean.SatSolver

data Boolean

data SatSolver

newSatSolver

isSolved

lookupVar

assertTrue

branchOnVar

selectBranchVar

solve

isSolvable