satchmo-1.3: SAT encoding monad

Satchmo.Counting

Documentation

atleast :: Int -> [Boolean] -> SAT BooleanSource

atmost :: Int -> [Boolean] -> SAT BooleanSource

exactly :: Int -> [Boolean] -> SAT BooleanSource