SMTPlan:通过编译到SMT进行PDDL +规划

【文件属性】：

文件名称：SMTPlan:通过编译到SMT进行PDDL +规划

文件大小：593KB

文件格式：ZIP

更新时间：2024-06-14 12:43:13

C++

SMTPlan + 通过编译到SMT进行PDDL +规划 项目网站上的完整描述： : SMTPlan目录中的安装和用户说明： : 内容 SMTPlan：SMTPlan +的源代码 基准：PDDL2.1和PDDL +基准域和问题