incremental-sat-solver 0.1.2 → 0.1.3

raw patch · 2 files changed

+2/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

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

@@ -40,6 +40,7 @@   | Boolean :&&: Boolean   -- | and disjunction of boolean formulas.   | Boolean :||: Boolean+ deriving Show  -- | Literals are variables that occur either positively or negatively. -- 

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