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)

Libraries

DLPlan: Description logics state features for planning
Lab: Python experimentation library