solve_z3_simple
Solve Z3 constraint problems by specifying variables and constraints as simple lists, bypassing the need for complex model structures. Ideal for straightforward problem-solving with minimal setup.
Instructions
Simplified interface for Z3 constraint problems.
A more direct way to solve Z3 problems without full model structure.
Just provide variables and constraints as simple lists.
Args:
variables: List of dicts with 'name' and 'type' for each variable
constraints: List of constraint expressions as strings
description: Optional problem description
Returns:
Solution results as TextContent list
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| constraints | Yes | ||
| description | No | ||
| variables | Yes |
Input Schema (JSON Schema)
{
"properties": {
"constraints": {
"items": {
"type": "string"
},
"title": "Constraints",
"type": "array"
},
"description": {
"default": "",
"title": "Description",
"type": "string"
},
"variables": {
"items": {
"additionalProperties": {
"type": "string"
},
"type": "object"
},
"title": "Variables",
"type": "array"
}
},
"required": [
"variables",
"constraints"
],
"title": "solve_z3_simpleArguments",
"type": "object"
}