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

Safe Haskell | Safe
Language | Haskell98

SMTLib2.Core

# Documentation

tBool :: Type Source #

true :: Expr Source #

false :: Expr Source #

not :: Expr -> Expr Source #

(==>) :: Expr -> Expr -> Expr Source #

and :: Expr -> Expr -> Expr Source #

or :: Expr -> Expr -> Expr Source #

xor :: Expr -> Expr -> Expr Source #

(===) :: Expr -> Expr -> Expr Source #

(=/=) :: Expr -> Expr -> Expr Source #

ite :: Expr -> Expr -> Expr -> Expr Source #