smtLib-1.0.9: A library for working with the SMTLIB format.
SMTLib2.Int
tInt :: Type #
num :: Integral a => a -> Expr #
nNeg :: Expr -> Expr #
nSub :: Expr -> Expr -> Expr #
nAdd :: Expr -> Expr -> Expr #
nMul :: Expr -> Expr -> Expr #
nDiv :: Expr -> Expr -> Expr #
nMod :: Expr -> Expr -> Expr #
nAbs :: Expr -> Expr #
nLeq :: Expr -> Expr -> Expr #
nLt :: Expr -> Expr -> Expr #
nGeq :: Expr -> Expr -> Expr #
nGt :: Expr -> Expr -> Expr #