Hanoi pddl's