{{attachment:fast-downward-logo.png|Fast Downward logo|width=300}}

The wiki of the Fast Downward planning system.


<<Anchor(contact)>>
== Contact & other Fast Downward resources ==

 * '''public Discord server:''' [[https://discord.gg/8zxvSchDS6|Fast Downward Discord server]] (for users and non-core developers)
 * '''public mailing list:''' [[http://groups.google.com/group/fast-downward/topics|Google group fast-downward]] (for users and non-core developers)
 * '''internal mailing list:''' [[https://www.maillist.unibas.ch/mailman/listinfo/downward-dev|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 <<MailTo(malte.helmert@unibas.ch, Malte Helmert)>>, 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


== Wiki hotlinks ==

 * QuickStart
 * [[Releases]]
 * 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:
   * OptionSyntax
   * PlannerUsage
 <<Include(Doc/Overview)>>
 * Documentation for internal file formats:
   * TranslatorOutputFormat
 * [[Literature]]

== Contributions ==

For a brief history of the project and a list of contributors, please see [[https://github.com/aibasel/downward/blob/main/README.md|README file]].

== License ==

Fast Downward is licensed under the GNU Public License (GPL), as described in [[https://github.com/aibasel/downward/blob/main/README.md|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.