jendrikseipp / scorpionView external linksLinks
An extension of the Fast Downward planning system with state-of-the-art algorithms
☆20Feb 6, 2026Updated last week
Alternatives and similar repositories for scorpion
Users that are interested in scorpion are comparing it to the libraries listed below
Sorting:
- STRIPS benchmarks for classical planning☆14Mar 29, 2022Updated 3 years ago
- ☆20Jan 19, 2026Updated 3 weeks ago
- Powerlifted Planner☆33Nov 13, 2025Updated 3 months ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆41Dec 16, 2025Updated last month
- HTN planning in Ruby☆38Feb 8, 2026Updated last week
- ☆22Jun 11, 2024Updated last year
- ☆10Mar 31, 2023Updated 2 years ago
- Relational Features for Planning☆14Jan 15, 2026Updated last month
- The Fast Downward domain-independent classical planning system☆369Updated this week
- Unquestionable PDDL 3.1 parser☆158Jan 20, 2026Updated 3 weeks ago
- A library for constructing and evaluating state features made up of description logics for planning.☆12Mar 17, 2025Updated 10 months ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- Landmark-Based Approaches for Goal Recognition as Planning.☆14Oct 17, 2025Updated 3 months ago
- ☆15Mar 15, 2024Updated last year
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- LAPKT public repository☆40Mar 27, 2025Updated 10 months ago
- Lab is a framework for evaluating planners and other solvers.☆34Jan 25, 2026Updated 3 weeks ago
- The parser of the pandaPI planning system☆15Jun 10, 2024Updated last year
- A Planning Domain Definition Language (PDDL 3.1) parser written in Rust☆18Jun 24, 2025Updated 7 months ago
- ☆46Nov 18, 2024Updated last year
- ☆19May 14, 2024Updated last year
- Tarski - An AI Planning Modeling Framework☆72Dec 23, 2025Updated last month
- K* search based implementation of top-k and top-quality planners☆18Feb 7, 2026Updated last week
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆147Jan 3, 2026Updated last month
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 4 months ago
- Toolbox for automated planning and combinatorial solving.☆57Updated this week
- The LTSmin model checking toolset☆61Oct 31, 2024Updated last year
- ☆32Mar 21, 2024Updated last year
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆84May 3, 2023Updated 2 years ago
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- ☆12Nov 26, 2019Updated 6 years ago
- Hypergraph Case-Based Reasoning☆12Jun 14, 2018Updated 7 years ago
- A Julia Package for the ACT-R Cognitive Architecture☆12Oct 30, 2025Updated 3 months ago
- ☆12Jul 6, 2023Updated 2 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- Illustrations of codeql's AST☆12Sep 10, 2021Updated 4 years ago
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 5 years ago