文件名称：prost:RDDL中编码的任务的概率计划系统
文件大小：720KB
文件格式：ZIP
更新时间：2024-06-09 15:34:00
C++
欢迎来到Prost Planner 什么是普罗斯特？ Prost是一个概率计划系统，它反复计算要在当前状态下采取的操作，通过与交互执行该操作并根据结果更新当前状态。 Prost的输入语言是 。 先决条件 在安装Prost之前，请确保满足以下要求： Linux操作系统 安装了git以克隆存储库 安装flex 2.6.4或更高版本以及bison 3.0.4或更高版本来解析输入 安装了cmake和一个c ++编译器（我们建议使用gcc）来编译计划程序 BDD库已安装 定理证明者已安装 在Linux上，您可以使用以下命令安装除z3以外的所有依赖项 sudo apt install git g++ cmake bison flex libbdd-dev z3的安装信息可以在找到。 没有任何成功的保证，您可以尝试以下步骤来安装z3： git clone git@github.com:Z3Pro