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