satchmo-examples 1.4 → 1.4.1

raw patch · 2 files changed

+6/−6 lines, 2 filesdep ~satchmodep ~satchmo-backendsdep ~satchmo-funsat

Dependency ranges changed: satchmo, satchmo-backends, satchmo-funsat

Files

• QBF.hs +1/−1
• satchmo-examples.cabal +5/−5

@@ -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 ] )

@@ -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