smtLib-1.0.4: A library for working with the SMTLIB format.
SMTLib2.Core
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