create_bool_var
Create a Boolean variable with a given name for symbolic reasoning and constraint solving in Z3.
Instructions
Create a Boolean variable with the given name.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | The name of the boolean variable to create. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |