satchmo-1.0: SAT encoding monad
Satchmo.Counting
atleast :: Int -> [Boolean] -> SAT BooleanSource
atmost :: Int -> [Boolean] -> SAT BooleanSource
exactly :: Int -> [Boolean] -> SAT BooleanSource