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