smtLib-1.0.9: A library for working with the SMTLIB format.
SMTLib2.Core
tBool :: Type #
true :: Expr #
false :: Expr #
not :: Expr -> Expr #
(==>) :: Expr -> Expr -> Expr #
and :: Expr -> Expr -> Expr #
or :: Expr -> Expr -> Expr #
xor :: Expr -> Expr -> Expr #
(===) :: Expr -> Expr -> Expr #
(=/=) :: Expr -> Expr -> Expr #
ite :: Expr -> Expr -> Expr -> Expr #