Satchmo.Boolean

class MonadSAT m

data Boolean

type Booleans

boolean

exists

forall

constant

not

monadic

assertOr

assertAnd

assert

constant

and

or

xor

xor2

equals2

equals

implies

(||)

(&&)

fun2

fun3

ifThenElse

ifThenElseM

assert_fun2

assert_fun3

monadic