ToySolver.Arith.DifferenceLogic
data
SimpleAtom
v b
data
Diff
v
solve