Tools required to run the other software packages Lisp Macro package required for some other software packages Classical planner that uses regression-match graphs to control search. Planning Domain Definition Language. Syntax checker. Plan solution checker. A deductive system compatible with PDDL domain definitions (sort of)