The graph viewer UI mainly consists of three panels:
If you want to try out generating your own solution procedure, start by looking up the types and methods you’re interested in in this file. Then enter start and target specification similar to the provided example. Multiple start specs are also possible. Once you’re done, click “Update” and inspect the result in the right panel.
All source code is available on GitHub.