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