smtLib-1.0.4: A library for working with the SMTLIB format.

Safe HaskellSafe

SMTLib2.Core

Documentation

tBool :: TypeSource

true :: ExprSource

false :: ExprSource

not :: Expr -> ExprSource

(==>) :: Expr -> Expr -> ExprSource

and :: Expr -> Expr -> ExprSource

or :: Expr -> Expr -> ExprSource

xor :: Expr -> Expr -> ExprSource

(===) :: Expr -> Expr -> ExprSource

(=/=) :: Expr -> Expr -> ExprSource

ite :: Expr -> Expr -> Expr -> ExprSource