ersatz-0.4.13: A monad for expressing SAT or QSAT problems using observable sharing.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ersatz.Counting

Documentation

exactly :: Int -> [Bit] -> Bit Source #

atmost :: Int -> [Bit] -> Bit Source #

atleast :: Int -> [Bit] -> Bit Source #