Stars
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.