Softwarepaket satchmo (SAT encoding monad) http://hackage.haskell.org/cgi-bin/hackage-scripts/package/satchmo
