using Microsoft.Z3; // Create a context using (var ctx = new Context()) { // Create an integer constant var x = ctx.MkIntConst("x"); var y = ctx.MkIntConst("y"); }In this example, `ctx.MkIntConst("x")` creates an integer constant `x`. The same is done for `y`. This can then be used as inputs in Z3 constraints and expressions.
public MkInt ( int v ) : |
||
v | int | value of the numeral. |
return |