satchmo 2.9.4 → 2.9.5

raw patch · 2 files changed

+14/−4 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Satchmo/Counting/Direct.hs +13/−3
• satchmo.cabal +1/−1

@@ -5,6 +5,8 @@ ( atleast , atmost , exactly+, assert_implies_atmost+, assert_implies_exactly )  where@@ -12,7 +14,7 @@ import Satchmo.Boolean ( Boolean, MonadSAT )   import qualified Satchmo.Boolean as B -import Control.Monad ( forM )+import Control.Monad ( forM, forM_ )  select :: Int -> [a] -> [[a]] select 0 xs = [[]]@@ -31,5 +33,13 @@   this <- atleast k xs   that <- atmost k xs   this B.&& that-  -        ++assert_implies_atmost ys k xs = +  forM_ (select (k+1) xs) $ \ sub -> do+    B.assert $ map B.not ys ++ map B.not sub++-- | asserting that  (or ys)  implies  (exactly k xs)+assert_implies_exactly ys k xs = do+  assert_implies_atmost ys k xs+  assert_implies_atmost ys (length xs - k) $ map B.not xs+

@@ -1,5 +1,5 @@ Name:           satchmo-Version:        2.9.4+Version:        2.9.5  License:        GPL License-file:	gpl-2.0.txt