2345
Comment:
|
2305
Add link to Discord server
|
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 somewhat poorly hidden Fast Downward home page! There isn't as much information available here yet as we hope to have eventually, but it's a start. | The wiki of the Fast Downward planning system. |
Line 8: | Line 9: |
* '''public Discord server:''' [[https://discord.gg/8zxvSchDS6|Fast Downward Discord server]] (for users and non-core developers) | |
Line 10: | Line 12: |
* '''general questions:''' please write to the public mailing list if at all possible; this helps spread the load on answering questions and makes it possible for others to benefit from the answer | * '''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 |
Line 13: | Line 15: |
* '''public Mercurial repository:''' http://hg.fast-downward.org (includes '''Atom feed''' and '''RSS feed''' that update on every commit) * '''buildbot:''' http://buildbot.fast-downward.org |
* '''public Git repository:''' https://github.com/aibasel/downward |
Line 22: | Line 24: |
* ForDevelopers (Mercurial workflow, uncrustify, coding conventions, etc.) | * ForDevelopers (Git workflow, development setup, coding conventions, etc.) |
Line 38: | Line 40: |
For a brief history of the project and a list of contributors, please see [[http://hg.fast-downward.org/file/tip/README.md|README file]]. | 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]]. |
Line 42: | Line 44: |
Fast Downward is licensed under the GNU Public License (GPL), as described in [[http://hg.fast-downward.org/file/tip/README.md|the main repository]]. | 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]]. |
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.