create_real_var
Creates a real (floating-point) variable by name for use in Z3 SMT constraint solving and optimization.
Instructions
Create a Real (floating-point) variable with the given name.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | The name of the real variable to create. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |