有谁知道python或C++中一个好的PDDL库，它具有以下特性
- 解析 pddl 域/问题文件
- 支持 ADL（即前置条件和效果中的量词）
- 适用性检查：测试特定接地操作是否适用于当前世界状态的功能
- 应用动作：应用的功能，即基于一个接地动作操纵当前世界状态
- 建立行动的可能性：一个函数，它生成对当前世界状态应用行动的所有可能性的列表
这是每个规划师都需要的功能，但我找不到一个只做这个的库，到目前为止我发现的所有规划师充其量都是晦涩难懂的。
我能找到的最接近的库是 pddlpy ( https://github.com/hfoffani/pddl-lib )，但它不支持 ADL 和应用操作。
谢谢！