Add license info in main page
|Deletions are marked like this.||Additions are marked like this.|
|Line 18:||Line 18:|
Fast Downward home page
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.
Contact & other Fast Downward resources
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 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 Mercurial repository: http://hg.fast-downward.org (includes Atom feed and RSS feed that update on every commit)
IpcPlanners (how to run one of the Fast-Downward-related planners from IPC 2011)
ForDevelopers (Mercurial workflow, uncrustify, 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.