用于检查/操作域的PDDL库

Question

有没有人知道python或C ++中具有以下功能的好PDDL库

• 解析pddl域/问题文件
• 支持ADL（即前提条件和效果中的量词）
• 适用性检查：测试特定基础行动是否适用于当前世界状态的功能
• 应用动作：应用的功能，即基于接地动作操纵当前世界状态
• 基于行动的可能性：生成所有可能对当前世界状态应用行动的可能性列表的函数

这是每个计划者都需要的功能，但我找不到只能这样做的图书馆，到目前为止我找到的所有规划师都充其量只是模糊不清。

我能找到的最接近的lib是pddlpy（https://github.com/hfoffani/pddl-lib），但它不支持ADL和应用操作。

谢谢！