satchmo-2.9.9.4: SAT encoding monad
Safe HaskellSafe-Inferred
LanguageHaskell2010

Satchmo.Counting.Binary

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 #

count :: MonadSAT m => [Boolean] -> m Number Source #