satchmo 1.1 → 1.1.1

raw patch · 1 files changed

+1/−2 lines, 1 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

satchmo.cabal +1/−2

satchmo.cabal view

@@ -1,11 +1,10 @@ Name:           satchmo-Version:        1.1+Version:        1.1.1 License:        GPL License-file:	gpl-2.0.txt Author:         Johannes Waldmann Maintainer:	Johannes Waldmann Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/-Category:       Testing Synopsis:       SAT encoding monad description:	Encoding for boolean and integral constraints into CNF-SAT. 		The encoder is provided as a State monad (hence the "mo" in "satchmo").