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