ersatz-0.4.8: A monad for expressing SAT or QSAT problems using observable sharing.
Ersatz.Counting
exactly :: Int -> [Bit] -> Bit Source #
atmost :: Int -> [Bit] -> Bit Source #
atleast :: Int -> [Bit] -> Bit Source #