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

Safe HaskellSafe
LanguageHaskell98

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