SMTLib2.Core

Documentation

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