Documentation

type SAT a = WriterT [Clause] (State Accu) aSource

data Boolean Source

type Booleans = [Boolean]Source

boolean :: SAT BooleanSource

constant :: Bool -> SAT BooleanSource

not :: Boolean -> BooleanSource

assert :: [Boolean] -> SAT ()Source

monadic :: Monad m => ([a] -> m b) -> [m a] -> m bSource

constant :: Bool -> SAT BooleanSource

and :: [Boolean] -> SAT BooleanSource

or :: [Boolean] -> SAT BooleanSource

xor :: [Boolean] -> SAT BooleanSource

monadic :: Monad m => ([a] -> m b) -> [m a] -> m bSource