296
Comment:
|
2291
deleted users page, which has been out of date for 10+ years
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
= Fast Downward home page = | {{attachment:fast-downward-logo.png|Fast Downward logo|width=300}} |
Line 3: | Line 3: |
Congratulations, you have found the well-hidden Fast Downward home page! Right now, there isn't a whole lot of information available here, but we hope that this might change eventually. | The wiki of the Fast Downward planning system. |
Line 5: | Line 5: |
== Hotlinks == | |
Line 7: | Line 6: |
* CodingConventions * HeuristicOverview * [[Users]] |
<<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]] * ObtainingAndRunningFastDownward * 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 * OptionCaveats <<Include(Doc/Overview)>> * Documentation for internal file formats: * TranslatorOutputFormat * ScriptUsage * [[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. |
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 <malte.helmert@unibas.ch>, 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
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:
Contributions
For a brief history of the project and a list of contributors, please see README file.
License
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.