ADL Compiler to SIMPLE-ADL and STRIPS

We used automated software (basically, FF's preprocessor) to compile ADL into STRIPS. You can download executables of the compilation software (Unix adl2strips-unix, Linux adl2strips-linux, Linux statically compiled adl2strips-linux-static). Run without arguments to obtain the command line usage.

Syntax checker and Plan Validator for PDDL 2.2

The following resources are available in this archive (Latest version now available through this link (October 2020)):

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.2. 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.

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

Competing Systems

After the competition event itself, in order to promote the understandability of the event, it would be desirable to have the competitors provide publicly accessible executables of their planners. Indeed, we hope that most of the competitors will make the source code of their systems available. We will insert the sytems for download on this page, as they are made available.