satchmo-2.9.3: SAT encoding monad
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