Syntax checker and Plan Validator
Latest version now available
through this link
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.