没有合适的资源?快使用搜索试试~ 我知道了~
Coeus:使用强化学习进行关系验证(验证程序源代码)-Verification code source code
共1472个文件
coeus:903个
ml:250个
mli:211个
需积分: 5 0 下载量 100 浏览量
2021-03-24
23:56:42
上传
评论
收藏 1.22MB ZIP 举报
温馨提示
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
资源推荐
资源详情
资源评论
收起资源包目录
Coeus:使用强化学习进行关系验证(验证程序源代码)-Verification code source code (1472个子文件)
pre_parser.automaton 1.07MB
FFmpeg_3_OUT1.coeus 5KB
FFmpeg_3_OUT9.coeus 5KB
FFmpeg_3_OUT5.coeus 5KB
FFmpeg_3_OUT8.coeus 5KB
FFmpeg_8_OUT0.coeus 5KB
FFmpeg_8_OUT2.coeus 5KB
FFmpeg_3_OUT15.coeus 5KB
FFmpeg_3_OUT6.coeus 5KB
FFmpeg_8_OUT1.coeus 5KB
FFmpeg_3_OUT16.coeus 4KB
FFmpeg_3_OUT11.coeus 4KB
FFmpeg_3_OUT7.coeus 4KB
FFmpeg_3_OUT13.coeus 4KB
linux_26_OUT0.coeus 4KB
gmp-6_11_OUT0.coeus 4KB
linux_57_OUT0.coeus 4KB
valgrind_0_OUT0.coeus 4KB
FFmpeg_4_OUT0.coeus 4KB
FFmpeg_4_OUT1.coeus 4KB
FFmpeg_4_OUT2.coeus 3KB
valgrind_1_OUT2.coeus 3KB
sp1620.coeus 3KB
sp2099.coeus 3KB
p323.coeus 3KB
p3501.coeus 3KB
gmp-6_2_OUT2.coeus 3KB
rp620.coeus 3KB
sp1744.coeus 3KB
sp2451.coeus 3KB
house_robber_s0_s1.coeus 3KB
p3261.coeus 3KB
sp4775.coeus 3KB
p4859.coeus 3KB
sp120.coeus 3KB
sp4970.coeus 3KB
house_robber_s2_s0.coeus 3KB
sp962.coeus 3KB
FFmpeg_7_OUT0.coeus 3KB
p3814.coeus 3KB
rp955.coeus 3KB
rp4988.coeus 3KB
gmp-6_2_OUT0.coeus 3KB
p3484.coeus 3KB
sp1507.coeus 3KB
rp3075.coeus 3KB
p368.coeus 3KB
rp2628.coeus 3KB
linux_51_OUT5.coeus 3KB
rp4650.coeus 3KB
linux_45_OUT4.coeus 3KB
rp2902.coeus 3KB
rp4857.coeus 3KB
rp4598.coeus 3KB
linux_51_OUT2.coeus 3KB
p2122.coeus 3KB
p1673.coeus 3KB
rp33.coeus 3KB
rp1326.coeus 3KB
sp175.coeus 3KB
rp674.coeus 3KB
rp534.coeus 3KB
linux_38_OUT0.coeus 3KB
rp2933.coeus 3KB
sp4621.coeus 3KB
linux_47_OUT7.coeus 3KB
house_robber_s2_s1.coeus 3KB
sp324.coeus 3KB
p2394.coeus 3KB
p2555.coeus 3KB
p3907.coeus 3KB
p974.coeus 3KB
sp2478.coeus 3KB
sp4298.coeus 3KB
stock_s6_s1.coeus 3KB
rp1977.coeus 3KB
valgrind_1_OUT3.coeus 3KB
p1218.coeus 3KB
house_robber_s0_s4.coeus 3KB
p3141.coeus 3KB
p3442.coeus 3KB
sp4614.coeus 3KB
sp1097.coeus 3KB
rp3382.coeus 3KB
linux_45_OUT2.coeus 3KB
sp3391.coeus 3KB
linux_41_OUT0.coeus 3KB
sp348.coeus 3KB
valgrind_4_OUT1.coeus 3KB
p2416.coeus 3KB
rp354.coeus 3KB
p103.coeus 3KB
gmp-6_4_OUT0.coeus 3KB
linux_35_OUT0.coeus 3KB
stock_s2_s1.coeus 3KB
rp426.coeus 3KB
sp1013.coeus 3KB
sp1678.coeus 3KB
binutils-gdb_16_OUT5.coeus 3KB
linux_47_OUT0.coeus 3KB
共 1472 条
- 1
- 2
- 3
- 4
- 5
- 6
- 15
资源评论
以网为生
- 粉丝: 28
- 资源: 4595
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于HTML的旅游网页制作源码设计.zip
- 基于HTML的旅游网页制作源码设计.zip
- 大数据实战Demo系统-MaxCompute数据仓库数据转换实践(PDF格式).rar
- 六一儿童节代码祝福六一儿童节代码祝福六一儿童节代码祝福.txt
- sql语句sql语句sql语句sql语句.txt
- ubuntu20.04安装教程ubuntu20.04安装教程.txt
- imgcache.0
- 高分项目基于faster-rcnn知识蒸馏的目标检测模型增量深度学习方法源码.zip
- 基于python和图数据库neo4j构建电影应用(高分毕设项目)
- 基于yolov5+SAHI模块完成超分辨率以及小目标检测演示源码+运行说明.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功