satchmo-1.1: SAT encoding monad
Satchmo.Boolean
type SAT a = WriterT [Clause] (State Accu) aSource
data Boolean Source
Instances
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
and :: [Boolean] -> SAT BooleanSource
or :: [Boolean] -> SAT BooleanSource
xor :: [Boolean] -> SAT BooleanSource