speckdavid

downward

The Fast Downward domain-independent classical planning system

symk

Symk is a state-of-the-art classical optimal and top-k planner.

kstar

K* search based implementation of top-k and top-quality planners

pddlgym

Convert a PDDL domain into an OpenAI Gym environment.

unified-planning

The AIPlan4EU Unified Planning Library

POND-study-project

direct-ranker

Code and Supplementary Material to the Paper: Pairwise Learning to Rank by Neural Networks Revisited: Reconstruction, Theoretical Analysis and Practical Performance

scorpion

Classical planning system featuring (saturated) cost partitioning

symbolic-osp

Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.

rl-plan

Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)

lemon-dd

Library for Edge-valued MONoid-based decision diagrams.

prost

probabilistic planning system for tasks encoded in RDDL

goa

Goa (groups of agents) is a planning system for privacy-preserving distributed multi-agent planning

shakey2016

Shakey 2016 is a today's (2016) implementation of Shakey with modern robotics technology.