satchmo-1.9.1: SAT encoding monad
Satchmo.Counting
atleast :: MonadSAT m => Int -> [Boolean] -> m BooleanSource
atmost :: MonadSAT m => Int -> [Boolean] -> m BooleanSource
exactly :: MonadSAT m => Int -> [Boolean] -> m BooleanSource