incremental-sat-solver 0.1.7 → 0.1.8

raw patch · 2 files changed

+3/−3 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

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

@@ -103,7 +103,7 @@ -- and only if that fails. --  isSolvable :: SatSolver -> Bool-isSolvable = not . null . solve+isSolvable = not . (null :: [SatSolver] -> Bool) . solve   -- private helper functions

@@ -1,5 +1,5 @@ Name:          incremental-sat-solver-Version:       0.1.7+Version:       0.1.8 Cabal-Version: >= 1.6 Synopsis:      Simple, Incremental SAT Solving as a Library Description:   This Haskell library provides an implementation of the@@ -22,7 +22,7 @@ Extra-Source-Files: README  Library-  Build-Depends:    base, containers, mtl+  Build-Depends:    base < 5, containers, mtl   Exposed-Modules:  Data.Boolean.SatSolver   Other-Modules:    Data.Boolean   Ghc-Options:      -Wall