create_int_var
Create an integer variable with a specified name to define constraints and solve SMT problems using the Z3 prover.
Instructions
Create an Integer variable with the given name.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | The name of the integer variable to create. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |