satchmo-2.9.5: SAT encoding monad
Satchmo.Integer.Difference
data Number a Source
Constructors
Fields
Instances