Minisat Haskell bundle