License: GPL-3.0 and PDDL-1.0
