Satchmo.Counting.Unary
atleast :: MonadSAT m => Int -> [Boolean] -> m Boolean Source #
atmost :: MonadSAT m => Int -> [Boolean] -> m Boolean Source #
exactly :: MonadSAT m => Int -> [Boolean] -> m Boolean Source #