haskell A Haskell bundle of the Minisat SAT solver