Encoding for boolean and integral constraints into CNF-SAT.
The encoder is provided as a State monad
(hence the mo in satchmo).
cabal install satchmo-22.214.171.124
See all contributors
Something wrong with this page?
Make a suggestion
Export .ABOUT file for this package
Last synced: 2017-10-23 22:37:44 UTC
Login to resync this project