minisat, minisat-c-bindings and minisat-haskell-bindings combined into a single Haskell package for easy installation