Warning: This is a repository currently in development. Please, do not use the benchmarks for your publications yet. If you want to use this, contact me: [email protected]
You should get the pddl-generators from https://github.com/AI-Planning/pddl-generators and a planner.
Go into pddl-generators and ./build_all
Go into the planner and compile the planner