USolver

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

{ "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" }