satchmo-2.9.5: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Counting.Direct

Description

functions in this module have no extra variables but exponential cost.

Synopsis

Documentation

atleast :: MonadSAT m => Int -> [Boolean] -> m Boolean Source

atmost :: MonadSAT m => Int -> [Boolean] -> m Boolean Source

exactly :: MonadSAT m => Int -> [Boolean] -> m Boolean Source

assert_implies_atmost :: MonadSAT m => [Boolean] -> Int -> [Boolean] -> m () Source

assert_implies_exactly :: MonadSAT m => [Boolean] -> Int -> [Boolean] -> m () Source

asserting that (or ys) implies (exactly k xs)