haskell@gentoo.org Gentoo Haskell A Haskell bundle of the Minisat SAT solver