Package: kstar-planner
Kstar Planner is an Automated PDDL based planner that includes planners for top-k and top-quality planning computational tasks.The codebase consists of multiple planners, for multiple computational problems, roughly divided into two categories:Top-k planningTop-quality planning2.1. Top-quality planning2.2. Unordered top-quality planningThe planner implementsPure K* search based top-k and top-quality planningSymmetry based pruning: OK* searchPartial order reduction: RK* search
Both symmetry based pruning and partial order reduction can be used together: ORK* searchInstallationpip install kstar-plannerRunning (examples)Top-kOK* with lmcut heuristicfromkstar_plannerimportplannersfrompathlibimportPathdomain_file=Path("your/path/domain.pddl")problem_file=Path("your/path/problem.pddl")plans=planners.plan_topk(domain_file=domain_file,problem_file=problem_file,number_of_plans_bound=100,timeout=30)print(plans)Top-qualityOK* with iPDB heuristic (recommended)fromkstar_plannerimportplannersfrompathlibimportPathdomain_file=Path("your/path/domain.pddl")problem_file=Path("your/path/problem.pddl")heuristic="ipdb(transform=undo_to_origin())"plans=planners.plan_topq(domain_file=domain_file,problem_file=problem_file,quality_bound=1.0,number_of_plans_bound=100,timeout=30,search_heuristic=heuristic)print(plans)Unordered Top-qualityORK* with iPDB heuristic (recommended)fromkstar_plannerimportplannersfrompathlibimportPathdomain_file=Path("your/path/domain.pddl")problem_file=Path("your/path/problem.pddl")heuristic="ipdb(transform=undo_to_origin())"plans=planners.plan_unordered_topq(domain_file=domain_file,problem_file=problem_file,quality_bound=1.0,number_of_plans_bound=100,timeout=30,search_heuristic=heuristic)print(plans)CitingTop-k planning@InProceedings{lee-et-al-socs2023,
  title =        "On K* Search for Top-k Planning",
  author =       "Junkyu Lee and Michael Katz and Shirin Sohrabi",
  booktitle =    "Proceedings of the 16th Annual Symposium on
                  Combinatorial Search (SoCS 2023)",
  publisher =    "{AAAI} Press",
  year =         "2023"
}

@InProceedings{katz-lee-ijcai2023,
  author =       "Michael Katz and Junkyu Lee",
  title =        "K* Search Over Orbit Space for Top-k Planning",
  booktitle =    "Proceedings of the 32nd International Joint
                  Conference on Artificial Intelligence (IJCAI 2023)",
  publisher =    "{IJCAI}",
  year =         "2023"
}Top-quality planning@InProceedings{katz-lee-socs2023,
  title =        "K* and Partial Order Reduction for Top-quality Planning",
  author =       "Michael Katz and Junkyu Lee",
  booktitle =    "Proceedings of the 16th Annual Symposium on
                  Combinatorial Search (SoCS 2023)",
  publisher =    "{AAAI} Press",
  year =         "2023"
}LicensingKstar Planner is an Automated PDDL based planner that
includes planners for top-k and top-quality planning computational
tasks. Copyright (C) 2023 Junkyu Lee, Michael Katz, IBM Research, USA.
The code extends the Fast Downward planning system. The license for the
extension is specified in the LICENSE file.Fast DownwardFast Downward is a domain-independent classical planning system.Copyright 2003-2022 Fast Downward contributors (see below).For further information:Fast Downward website:https://www.fast-downward.orgReport a bug or file an issue:https://issues.fast-downward.orgFast Downward mailing list:https://groups.google.com/forum/#!forum/fast-downwardFast Downward main repository:https://github.com/aibasel/downwardTested software versionsThis version of Fast Downward has been tested with the following software versions:OSPythonC++ compilerCMakeUbuntu 20.043.8GCC 9, GCC 10, Clang 10, Clang 113.16Ubuntu 18.043.6GCC 7, Clang 63.10macOS 10.153.6AppleClang 123.19Windows 103.6Visual Studio Enterprise 2017 (MSVC 19.16) and 2019 (MSVC 19.28)3.19We test LP support with CPLEX 12.9, SoPlex 3.1.1 and Osi 0.107.9.
On Ubuntu, we test both CPLEX and SoPlex. On Windows, we currently
only test CPLEX, and on macOS, we do not test LP solvers (yet).ContributorsThe following list includes all people that actively contributed to
Fast Downward, i.e. all people that appear in some commits in Fast
Downward's history (see below for a history on how Fast Downward
emerged) or people that influenced the development of such commits.
Currently, this list is sorted by the last year the person has been
active, and in case of ties, by the earliest year the person started
contributing, and finally by last name.2003-2022 Malte Helmert2008-2016, 2018-2022 Gabriele Roeger2010-2022 Jendrik Seipp2010-2011, 2013-2022 Silvan Sievers2012-2022 Florian Pommerening2013, 2015-2022 Salomé Eriksson2018-2022 Patrick Ferber2021-2022 Clemens Büchner2021-2022 Dominik Drexler2022 Remo Christen2015, 2021 Thomas Keller2016-2020 Cedric Geissmann2017-2020 Guillem Francès2018-2020 Augusto B. Corrêa2020 Rik de Graaff2015-2019 Manuel Heusner2017 Daniel Killenberger2016 Yusra Alkhazraji2016 Martin Wehrle2014-2015 Patrick von Reth2009-2014 Erez Karpas2014 Robert P. Goldman2010-2012 Andrew Coles2010, 2012 Patrik Haslum2003-2011 Silvia Richter2009-2011 Emil Keyder2010-2011 Moritz Gronbach2010-2011 Manuela Ortlieb2011 Vidal Alcázar Saiz2011 Michael Katz2011 Raz Nissim2010 Moritz Goebelbecker2007-2009 Matthias Westphal2009 Christian MuiseHistoryThe current version of Fast Downward is the merger of three different
projects:the original version of Fast Downward developed by Malte Helmert
and Silvia RichterLAMA, developed by Silvia Richter and Matthias Westphal based on
the original Fast DownwardFD-Tech, a modified version of Fast Downward developed by Erez
Karpas and Michael Katz based on the original codeIn addition to these three main sources, the codebase incorporates
code and features from numerous branches of the Fast Downward codebase
developed for various research papers. The main contributors to these
branches are Malte Helmert, Gabi Röger and Silvia Richter.LicenseThe following directory is not part of Fast Downward as covered by
this license:./src/search/extFor the rest, the following license applies:Fast Downward is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or (at
your option) any later version.

Fast Downward is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.