satchmo

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