solver-example

Overview ¶

Command solver-example runs the node-kind solver on ipmt and shows or verifies the result — a way to demonstrate, for different edge/type combinations, what the solver resolves undecided (::?etc) nodes to.

# print the solved ipmt for one input (the "call the solver" demo):
solver-example --in foo.ipmt          # or --in - for stdin

# verify every `# given` / `# then` ipmt block pair in markdown docs (golden):
solver-example --md docs/solver-examples        # a directory of *.md
solver-example --md docs/solver-examples/leadsto.md

The solver path is pure ipmt: parse → nodekind.Solve → nodekind.ToGraph → ipmtext.Serialize. No N4L / SSTorytime involved. `# then` blocks are compared structurally (by node name→kind and edge set), so they may be hand-written in a readable form (bare arrows, original aliases) — only the resolved kinds matter.