ksmt-core/io.ksmt/KContext/mkBvUnsignedDivExpr

mkBvUnsignedDivExpr

open fun <T : KBvSort> mkBvUnsignedDivExpr(arg0: KExpr<T>, arg1: KExpr<T>): KExpr<T>

Create BitVec arithmetic unsigned division (bvudiv) expression.

See also

for the signed division.