satchmo-backends 1.8.0 → 1.8.1

raw patch · 2 files changed

+10/−8 lines, 2 filesdep ~satchmoPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: satchmo

API changes (from Hackage documentation)

Files

• Satchmo/Solver/Minisat.hs +1/−1
• satchmo-backends.cabal +9/−7

@@ -26,7 +26,7 @@  import qualified Data.Map as M -solve = using "minisat"+solve = using "minisat2"  using fp = Satchmo.Solve.solve $ minisat fp 

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