PDDL license