Resources

Syntax checker and Plan Validator

Latest version now available through this link (October'20).

The following resources are available in this archive:

• A syntax checker, (thanks to Stephen Cresswell), generating parse trees for legal PDDL2.1 syntax, using flex++, bison, C++ and an appropriate STL implementation. The tool compiles using Gnu software.
• A plan validator for PDDL2.1 (up to level 3 - no continuous effects yet!). It is written in C++ and can be used to check syntax, types and plan validity. There is a README file in the archive that explains how to use it.
• A typestripping program - this is still in development, but it is intended to extend it to a suite of tools to allow automatic translation of domains between different subsets of PDDL (for example, we plan to implement the various Gazen and Knoblock transformations for ADL-to-STRIPS transformations). Ultimately, we would also like to support translators to different planning languages. If you build such a system, please contact us and let us know.

Please contact us if there are any problems in using it, compiling it or if you find any bugs.