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

Safe Haskell | Safe
Language | Haskell98

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