add_constraint
Add a constraint to the Z3 solver using variable references and standard Z3 Python API syntax.
Instructions
Add a constraint to the solver.
Use variable references like 'bool:x', 'int:y', 'real:z' in expressions. Supports standard Z3 Python API syntax.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| constraint | Yes | A Z3 constraint expression as a string. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||