[ Decision specification · browser local ]

Turn a messy decision into a reviewable constraint pack.

Maha Constraint Studio helps you specify an optimization problem before anyone writes solver code: objective, variables, non-negotiable limits, preferences, assumptions, and data gaps. Export the result as JSON for review or a future Z3/OR-Tools adapter.

[ What it does ]

Checks structural completeness, duplicate variables, undefined references, and missing boundaries.

[ What it exports ]

A machine-readable Constraint Pack with explicit limits and a human-review status.

[ What it does not do ]

It does not infer facts, solve an optimization, access your systems, or make operational decisions.

[ 01 · specify ]

Decision nameScope and time boundary

Primary objectiveDirection

[ Decision variables ]

Use names a solver can consume later, such as route_a_units or weekly_budget.

[ Constraints ]

Assumptions and data limits

[ 02 · preflight ]

Constraint Pack

A portable problem specification for a human reviewer or future solver adapter—not a recommendation engine.

Needs review · 6 blockers

· Name the decision or planning problem.
· State the decision scope and time boundary.
· State one primary objective.
· Variable “unnamed” needs a solver-safe name: letters, numbers, and underscores; start with a letter.
· Variable “unnamed” needs a domain or bound.
· Hard constraint 6ff7 needs a statement.

Review notes

· No complete hard constraint is present. A solver handoff needs at least one non-negotiable limit.
· No assumptions are recorded. State what must be true for this pack to be used.

{
  "schemaVersion": "maha-constraint-pack/0.1",
  "generatedAt": "2026-07-30T04:35:55.770Z",
  "status": "needs_review",
  "decision": {
    "title": "",
    "scope": "",
    "objective": "",
    "direction": "minimize"
  },
  "variables": [
    {
      "name": "",
      "kind": "integer",
      "domain": ""
    }
  ],
  "constraints": [
    {
      "kind": "hard",
      "statement": "",
      "variableNames": []
    }
  ],
  "assumptions": [],
  "preflight": {
    "errors": [
      "Name the decision or planning problem.",
      "State the decision scope and time boundary.",
      "State one primary objective.",
      "Variable “unnamed” needs a solver-safe name: letters, numbers, and underscores; start with a letter.",
      "Variable “unnamed” needs a domain or bound.",
      "Hard constraint 6ff7 needs a statement."
    ],
    "warnings": [
      "No complete hard constraint is present. A solver handoff needs at least one non-negotiable limit.",
      "No assumptions are recorded. State what must be true for this pack to be used."
    ]
  },
  "limits": [
    "This pack is a problem-specification aid. It does not calculate an optimum or make a decision.",
    "Natural-language constraints require human review before formal solver encoding.",
    "Use current, authorized data and validate any solver model independently before operational use."
  ]
}

Boundary

This tool runs locally in your browser. It does not retain inputs, call an AI model, access external systems, execute a solver, or authorize an operational decision.

Next layer

A valid Constraint Pack is a starting point for a bounded solver implementation, scenario model, or human-reviewed research brief—not a substitute for domain expertise, current data, or accountable approval.