@hackage satchmo1.4

SAT encoding monad

Encoding for boolean and integral constraints into (QBF-)CNF-SAT. The encoder is provided as a State monad (hence the "mo" in "satchmo"). requires a backend (e.g. satchmo-backends, satchmo-funsat)