ksmt-core/io.ksmt.expr.rewrite.simplify/simplifyArithAdd

simplifyArithAdd

fun <T : KArithSort> KContext.simplifyArithAdd(args: List<KExpr<T>>): KExpr<T>