ToySolver.BitVector.Solver
data Solver
newSolver
newVar
newVar'
assertAtom
check
getModel
explain
pushBacktrackPoint
popBacktrackPoint