incremental-sat-solver 0.1.3 → 0.1.4

raw patch · 2 files changed

+4/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Data/Boolean.hs +3/−1
• incremental-sat-solver.cabal +1/−1

@@ -25,6 +25,8 @@    ) where +import Data.List ( nub )+ -- | Boolean formulas are represented as values of type @Boolean@. --  data Boolean@@ -76,7 +78,7 @@ --  booleanToCNF :: Boolean -> CNF booleanToCNF-  = map (map literal . disjunction)+  = map (nub . map literal . disjunction)   . conjunction   . asLongAsPossible distribute   . asLongAsPossible pushNots

@@ -1,5 +1,5 @@ Name:          incremental-sat-solver-Version:       0.1.3+Version:       0.1.4 Cabal-Version: >= 1.6 Synopsis:      Simple, Incremental SAT Solving as a Library Description:   This Haskell library provides an implementation of the