USolver

Apache 2.0

Overview InspectNew Schema Related Servers Reviews Score

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

Install Server

HTTP connection URL

Other Tools from USolver

Related Tools

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/sdiehl/usolver'

If you have feedback or need assistance with the MCP directory API, please join our Discord server