ersatz-0.4.4: A monad for expressing SAT or QSAT problems using observable sharing.

Safe HaskellSafe
LanguageHaskell2010

Ersatz.Counting

Documentation

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

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

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