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
- Mimir: Lifted and grounded generalized planning library with Python bindings
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