ToySolver.SAT.Integer

data Expr

newVar

linearize

addConstraint

addConstraintSoft

eval