A PDDL parser, checker and formatter.