added new directory for the PDDL encoding