THE SOLVER

A solver configured
by your domain model.

Manifest-driven configuration makes the problem model explicit: inputs, supported constraints, objective settings and execution choices. People and agents can author that configuration against the same contracts, while shared engines perform the solve.

Explore the modeling guide ↗
INPUT

Your operational records

People, shifts, tasks, orders, resources and relationships.

MODEL

Your constraints & objectives

Requirements that define feasibility. Preferences that rank plans.

OUTPUT

A result to evaluate

Assignments, execution status and problem-specific diagnostics.

MANIFEST-DRIVEN. AGENT-AUTHORABLE.

Describe your domain.
Configure the solver.

Your model is an explicit, versionable configuration. Give an agent the supported schema, an example manifest and your requirements, and use it to draft changes you can inspect and validate.

BRING YOUR AGENT

Claude. ChatGPT. Your own agent.

Use your preferred assistant to map domain concepts, draft supported constraints and objective settings, and explain configuration changes. Keep the same manifest and review process whichever authoring tool you choose.

Get the authoring workflow and prompt →
CONFIGURATION WITH BOUNDARIES

The agent proposes. The engine executes.

Validate the draft against the correct schema and supported engine capabilities. Test representative cases, review the diff and approve a version before activation. New solver behavior still needs a supported extension.

Understand the extension boundary →
  1. 01 Describe the domain
  2. 02 Draft the manifest
  3. 03 Validate & test
  4. 04 Review & enable
Exploring a specialized Domain Model Agent

A guided assistant could ask domain-specific questions, map requirements to supported capabilities and prepare a candidate configuration with tests and a reviewable diff. This is a proposed capability; the workflow today uses your chosen assistant and your deployment’s validation tools.

Explore the proposed design →
A SHARED FOUNDATION

Extend the model.
Keep the integration.

Use packaged problem families or supported extension packs. Keep the problem definition explicit as your requirements evolve.

01 / DECLARATIVE

Manifests with meaning

A manifest describes the inputs and constraints the execution policy can consume. It creates a shared vocabulary between domain experts and application developers.

Modeling guide →
02 / INTEGRATED

Two ways into your stack

Submit work to a separate solver service or use a supported Python entry point locally. Select compute and dependencies to suit the engine and workload.

Compare deployment →
03 / INSPECTABLE

Evidence before action

Inspect the returned status, feasibility checks and diagnostics. Distinguish a useful candidate from a result your application is ready to apply.

Interpret a result →
04 / EXTENSIBLE

New requirements, deliberately

Extend supported problem policies through versioned packs. Validate the model and execution contract together before enabling a new capability.

Extension concepts →
A PRACTICAL DISTINCTION

Feasible is not the same as optimal.

A plan may satisfy every modeled requirement without proving it is the best possible plan. Helix integrations should preserve that distinction and use the evidence returned by the selected engine.

Learn what the results tell you →

Start with the problem
you actually have.

Discuss a use case ↗