Constraint Solver

{
  "type": "object",
  "properties": {
    "variables": {
      "type": "object",
      "description": "Variable definitions with min/max domains"
    },
    "constraints": {
      "type": "array",
      "description": "Constraint list (all_different, sum_eq, less_than, etc.)"
    },
    "objective": {
      "type": "object",
      "description": "Minimize or maximize an expression"
    },
    "timeout_seconds": {
      "type": "integer",
      "description": "Max solve time (default 10, max 60)"
    }
  },
  "required": [
    "variables"
  ]
}

{
  "type": "object",
  "properties": {
    "status": {
      "type": "string",
      "enum": [
        "optimal",
        "feasible",
        "infeasible",
        "timeout"
      ]
    },
    "solution": {
      "type": "object"
    },
    "objective_value": {
      "type": "number"
    },
    "feasible": {
      "type": "boolean"
    },
    "solve_time_ms": {
      "type": "integer"
    }
  }
}