satchmo-1.8.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