Output Format

We require a specific output format so that we can verify solutions automatically. This format does not just include the plan found but also the decomposition hierarchy that that "produced" this plan.

Please see our output format description.

We also have the source code of our plan validator available.

Mauricio Cecilio Magnaguagno kindly created a tool for visualising solutions specified in our output format.