ToySolver.SAT.Encoder.Integer
data
Expr
newVar
linearize
addConstraint
addConstraintSoft
eval