satchmo-2.9.4: SAT encoding monad
Satchmo.Counting.Direct
Description
functions in this module have no extra variables but exponential cost.
atleast :: MonadSAT m => Int -> [Boolean] -> m Boolean Source
atmost :: MonadSAT m => Int -> [Boolean] -> m Boolean Source
exactly :: MonadSAT m => Int -> [Boolean] -> m Boolean Source