Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

CUGA is an open-source generalist agent for the enterprise, supporting complex task execution on web and APIs, OpenAPI/MCP integrations, composable architecture, reasoning modes, and policy-aware f…

The Fast Downward domain-independent classical planning system

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

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

Convert a PDDL domain into an OpenAI Gym environment.

The AIPlan4EU Unified Planning Library

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

An extension of the Fast Downward planning system with state-of-the-art algorithms

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

Learning Heuristic Selection with Dynamic Algorithm Configuration (AI Planning)

Library for Edge-valued MONoid-based decision diagrams.

probabilistic planning system for tasks encoded in RDDL

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

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