Überblick

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



2009-06-22