create_real_constant
Define a constant real number value for use in Z3 solver constraints and optimization problems.
Instructions
Create a real constant with the given value.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| value | Yes | The real value for the constant. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |