Satchmo.Counting.Binary
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 #