boolsimplifier 0.1.5 → 0.1.6

raw patch · 1 files changed

+2/−2 lines, 1 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• boolsimplifier.cabal +2/−2

@@ -1,6 +1,6 @@ Name:                boolsimplifier-Version:             0.1.5-Synopsis:            Simplification tools for simple propositional formuals.+Version:             0.1.6+Synopsis:            Simplification tools for simple propositional formulas.  Description:         Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.