smtLib-1.0.7: 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