satchmo-funsat 1.3 → 1.4

raw patch · 1 files changed

+3/−2 lines, 1 filesdep ~satchmoPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: satchmo

API changes (from Hackage documentation)

Files

satchmo-funsat.cabal +3/−2

satchmo-funsat.cabal view

@@ -1,5 +1,5 @@ Name:           satchmo-funsat-Version:        1.3+Version:        1.4  License:        GPL License-file:	gpl-2.0.txt@@ -7,9 +7,10 @@ Maintainer:	Johannes Waldmann Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/ Synopsis:       funsat driver as backend for satchmo+Category:	Algorithms description:	this driver calls funsat (download from hackage) 		to solve CNF-SAT constraints produced by satchmo-Build-depends: satchmo, funsat, parse-dimacs, base, containers, array+Build-depends: satchmo>=1.4, funsat, parse-dimacs, base, containers, array Exposed-modules:         Satchmo.Solver.Funsat hs-source-dirs:	.