satchmo-2.8.2: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.Counting

Documentation

atleast :: MonadSAT m => Int -> [Boolean] -> m Boolean Source

atmost :: MonadSAT m => Int -> [Boolean] -> m Boolean Source

exactly :: MonadSAT m => Int -> [Boolean] -> m Boolean Source