/dev-haskell/minisat/