diff --git a/Satchmo/Solver/Minisat.hs b/Satchmo/Solver/Minisat.hs
--- a/Satchmo/Solver/Minisat.hs
+++ b/Satchmo/Solver/Minisat.hs
@@ -26,7 +26,7 @@
 
 import qualified Data.Map as M
 
-solve = using "minisat"
+solve = using "minisat2"
 
 using fp = Satchmo.Solve.solve $ minisat fp
 
diff --git a/satchmo-backends.cabal b/satchmo-backends.cabal
--- a/satchmo-backends.cabal
+++ b/satchmo-backends.cabal
@@ -1,5 +1,5 @@
 Name:           satchmo-backends
-Version:        1.8.0
+Version:        1.8.1
 
 License:        GPL
 License-file:	gpl-2.0.txt
@@ -14,17 +14,19 @@
                 minisat (download from http://minisat.se/ )
 		quantor (download from http://fmv.jku.at/quantor/ )
 		qube    (download from http://www.star.dist.unige.it/~qube/ )
+Category:	Algorithms
 cabal-version: >= 1.6
-Build-depends: satchmo == 1.8.*, process, base == 4.* , containers, bytestring
-Exposed-modules:
+build-type: Simple
+
+library
+    Build-depends: satchmo >= 1.8, process, base == 4.* , containers, bytestring
+    Exposed-modules:
         Satchmo.Solver.Minisat
         Satchmo.Solver.Pcosat
         Satchmo.Solver.Clasp
         Satchmo.Solver.Quantor
         Satchmo.Solver.Qube
         Satchmo.Solver.Yices
-Other-modules:
+    Other-modules:
         Satchmo.Solver.Internal
-hs-source-dirs:	.
-extensions: 
-build-type: Simple
+    hs-source-dirs:	.