get_model_value
Retrieve the value of a variable from the Z3 model after solving a constraint satisfaction problem. Specify the variable reference to get its assigned value.
Instructions
Get the value of a variable from the model after solving.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| variable | Yes | The variable reference (e.g., 'int:x', 'bool:y'). |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |