The wiki of the Fast Downward planning system.
Contact & other Fast Downward resources
public Discord server: Fast Downward Discord server (for users and non-core developers)
public mailing list: Google group fast-downward (for users and non-core developers)
internal mailing list: downward-dev (for internal discussions among the core developers)
general questions: please write to the public mailing list or ask on the Discord server if at all possible; this helps spread the load on answering questions and makes it possible for others to benefit from the answer
in exceptional cases, you can email Malte Helmert <firstname.lastname@example.org>, but please note that Malte is overloaded with emails
issue tracker (for bugs and other issues): http://issues.fast-downward.org
public Git repository: https://github.com/aibasel/downward
IpcPlanners (how to run one of the Fast-Downward-related planners from IPC 2011)
ForDevelopers (Git workflow, development setup, coding conventions, etc.)
PddlSupport (Which fragment of PDDL does Fast Downward support?)
ExitCodes (Documentation of exit codes as returned by the planner)
- Documentation for the search component:
- Documentation for internal file formats:
For a brief history of the project and a list of contributors, please see README file.
Fast Downward is licensed under the GNU Public License (GPL), as described in the main repository. If you want to use the planner in any way that is not compatible with the GPL (v3 or newer), you will have to get permission from us.