Software and Benchmarks
We (co-)maintain the following software and data resources:
Classical planners
Fast Downward: Classical planning system
Pyperplan: Python planner for teaching and prototyping
Scorpion: State-of-the-art optimal classical planner
SymK: Symbolic search planner with expressive extensions
Planning benchmarks
IPC Tasks: Unofficial collection of PDDL tasks from previous IPCs
Autoscale tasks: IPC domains, new tasks
PDDL generators: Generate your own PDDL tasks
Batch PDDL generator: Generate many PDDL tasks at once
Small PDDL tasks: Planning tasks with small state spaces (suitable for learning)