@hackage satchmo2.9.7.3

SAT encoding monad

Encoding for boolean and integral constraints into CNF-SAT. The encoder is provided as a State monad (hence the "mo" in "satchmo").