文件名称：Coeus:使用强化学习进行关系验证（验证程序源代码）-Verification code source code
文件大小：1.22MB
文件格式：ZIP
更新时间：2024-04-13 17:43:22
系统开源
Coeus关系验证器 该存储库包含在OOPSLA'19上发表的论文《使用强化学习的关系验证》的验证程序源代码。 强化学习部分的源代码作为发布。 从源头建造 Coeus验证程序用编写。 它依靠进行软件包管理，并使用进行构建，这两者都是现代OCaml开发中的事实上的标准工具链。 首先按照opam主页上的说明下载并安装opam 。 之后，构建和安装Coeus的最简单方法是利用： > git clone https://github.com/utopia-group/Coeus.git > opam switch create ./ 4.07.1+flambda 这将创建一个_opam子目录，然后从源代码构建并安装Coeus及其所有依赖项。 系统会提示您-请回答“ y”。 安装完成后，您将可以从同一终端访问二进制可执行文件，如coeus ， coeus-repl等。 注意： 该项目是在O