satchmo-2.9.1: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

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