satchmo-1.8.0: SAT encoding monad

Satchmo.Counting

Documentation

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

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

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