ksmt-core/io.ksmt/KContext/mkIntRemNoSimplify

mkIntRemNoSimplify

open fun mkIntRemNoSimplify(lhs: KExpr<KIntSort>, rhs: KExpr<KIntSort>): KRemIntExpr

Create an Int rem expression.

See also

for the operation details.