diff --git a/QBF.hs b/QBF.hs
--- a/QBF.hs
+++ b/QBF.hs
@@ -29,7 +29,7 @@
 main = do
     argv <- getArgs
     let [ w, d ] = map read argv
-    result <- Satchmo.Solver.Quantor.solve $ form w d
+    result <- Satchmo.Solver.Qube.solve $ form w d
     print result
 
 form :: Int -> Int -> SAT ( Decoder [ Bool ] )
diff --git a/satchmo-examples.cabal b/satchmo-examples.cabal
--- a/satchmo-examples.cabal
+++ b/satchmo-examples.cabal
@@ -1,5 +1,5 @@
 Name:           satchmo-examples
-Version:        1.4
+Version:        1.4.1
 
 License:        GPL
 License-file:	gpl-2.0.txt
@@ -15,22 +15,22 @@
 Executable Factor
     Main-is: Factor.hs
     hs-source-dirs:	.
-    Build-depends: satchmo, satchmo-backends, process, base, containers, array
+    Build-depends: satchmo>=1.4, satchmo-backends>=1.4, process, base, containers, array
 
 Executable HC
     Main-is: HC.hs
     hs-source-dirs:	.
-    Build-depends: satchmo, satchmo-backends, process, base, containers, array
+    Build-depends: satchmo>=1.4, satchmo-backends>=1.4, process, base, containers, array
 
 Executable VC
     Main-is: VC.hs
     hs-source-dirs:	.
-    Build-depends: satchmo, satchmo-funsat, process, base, containers, array
+    Build-depends: satchmo>=1.4, satchmo-funsat>=1.4, process, base, containers, array
 
 Executable QBF
     Main-is: QBF.hs
     hs-source-dirs:	.
-    Build-depends: satchmo>=1.4, satchmo-backends, process, base, containers, array
+    Build-depends: satchmo>=1.4, satchmo-backends>=1.4, process, base, containers, array