Robuta

https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_re_expr.html Z3: ReExpr Class Reference class reference https://z3prover.github.io/api/html/_re_expr_8cs_source.html Z3: src/api/dotnet/ReExpr.cs Source File cs source src api dotnet file