(Very low priority.)
In some domains, we use alternative domain formulations (e.g. that compile away
negations) with the property that the plans for the alternative formulations
(should) work verbatim on the original domain formulations.
In cases like these, it would be nice if our plan validation facilities allowed
us to (optionally, or additionally) validate against the canonical formulation.
This could, for example, be achieved by adding meta-info into a PDDL comment
like this:
;; [[[canonical-formulation: pathways/domain.pddl]]]
|