@hackage satchmo1.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"). requires a backend (e.g. satchmo-minisat, satchmo-funsat)