ksmt-core/io.ksmt/KContext/mkIntModNoSimplify

mkIntModNoSimplify

open fun mkIntModNoSimplify(lhs: KExpr<KIntSort>, rhs: KExpr<KIntSort>): KModIntExpr

Create an Int mod expression.

See also

for the operation details.