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