Safe Haskell | None |
---|---|

Language | Haskell98 |

functions in this module have no extra variables but exponential cost.

- atleast :: MonadSAT m => Int -> [Boolean] -> m Boolean
- atmost :: MonadSAT m => Int -> [Boolean] -> m Boolean
- exactly :: MonadSAT m => Int -> [Boolean] -> m Boolean
- assert_implies_atmost :: MonadSAT m => [Boolean] -> Int -> [Boolean] -> m ()
- assert_implies_exactly :: MonadSAT m => [Boolean] -> Int -> [Boolean] -> m ()