Highlights
- Pro
-
symk Public
Symk is a state-of-the-art classical optimal and top-k planner.
-
speckdavid.github.io Public
Forked from alshedivat/al-folioA beautiful, simple, clean, and responsive Jekyll theme for academics
JavaScript MIT License UpdatedNov 5, 2025 -
downward Public
Forked from aibasel/downwardThe Fast Downward domain-independent classical planning system
C++ GNU General Public License v3.0 UpdatedOct 6, 2025 -
krummstab Public
Forked from aibasel-teaching/krummstabEfficiently give feedback on ADAM submissions at University of Basel
Python GNU General Public License v3.0 UpdatedSep 29, 2025 -
-
-
rl-plan Public
Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)
-
up-symk Public
Unified Planning Integration of the SymK planner
Jupyter Notebook GNU General Public License v3.0 UpdatedMay 21, 2024 -
unified-planning Public
Forked from aiplan4eu/unified-planningThe AIPlan4EU Unified Planning Library
Python UpdatedSep 27, 2023 -
symbolic-osp Public
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.
-
-
planutils Public
Forked from AI-Planning/planutilsGeneral library for setting up linux-based environments for developing, running, and evaluating planners.
Python MIT License UpdatedFeb 20, 2023 -
-
shakey2016 Public
Shakey 2016 is a today's (2016) implementation of Shakey with modern robotics technology.