Constraint programming modification
Upload a CPMpy model, describe the change in plain language, and ship a reviewable modified model.
ConstraintMod modifies constraint programming models in an audit-friendly way: structured model intake, clarification when needed, stage-separated code generation, and artifact-backed validation instead of opaque one-shot output.
Signature flow
The product differentiator is the visible workflow: every stage is inspectable, pausable, and reviewable by the user.
Checking session…
How the modifier works
Stage-separated workflow
Parsing, clarification, planning, modification, execution, and validation remain explicit so every run can be inspected step by step.
Human clarification when needed
If a change request is ambiguous, the workflow can pause and ask for clarification rather than silently making assumptions.
Artifacts instead of hidden reasoning
Each run produces concrete outputs such as generated code, execution logs, diffs, and review states so the modification process stays auditable.
Core outcomes
1
validated base model package
1
effective runtime input source per run
3
terminal states: completed, needs review, failed