This page has moved. Please go to http://hackage.haskell.org/package/minisat-solver.