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

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Core

Documentation

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 #