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

Safe Haskell	Safe

SMTLib2.Int

Documentation

tInt :: Type Source

num :: Integral a => a -> Expr Source

nNeg :: Expr -> Expr Source

nSub :: Expr -> Expr -> Expr Source

nAdd :: Expr -> Expr -> Expr Source

nMul :: Expr -> Expr -> Expr Source

nDiv :: Expr -> Expr -> Expr Source

nMod :: Expr -> Expr -> Expr Source

nAbs :: Expr -> Expr Source

nLeq :: Expr -> Expr -> Expr Source

nLt :: Expr -> Expr -> Expr Source

nGeq :: Expr -> Expr -> Expr Source

nGt :: Expr -> Expr -> Expr Source