Last released Mar 26, 2026
Tyr datalog/planning library
Last released Mar 10, 2026
Mimir planning library
Last released Oct 9, 2024
A library for using description logics features in planning
Last released Jun 5, 2024
Weisfeiler-Leman library
Last released Feb 27, 2024
A tool for state space exploration of PDDL files
Supported by
