SAT encoder
Haskell
Latest commit c65acae May 30, 2016 waldmann remove memoization ansatz, cf. issue #4

README.md

SAT encoding monad

Build Status