[Haskell-cafe] satchmo: monadic SAT encoding library

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Tue Mar 31 16:28:42 EDT 2009

Dear all,

I am releasing a preliminary version of "satchmo",
a monadic library  for encoding boolean
and integral number constraints to CNF-SAT.
It uses minisat (http://minisat.se/) as a backend solver.


Enjoy - J.W.

PS: what would be the proper top level hackage module name for this?
I guess it could be Constraint.SAT.Encoding ...

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090331/1ceff510/signature.bin

More information about the Haskell-Cafe mailing list