没有合适的资源?快使用搜索试试~ 我知道了~
enigma-gpu-server:Tensorflow GPU服务器可通过ENIGMA E Prover进行快速评估
共34个文件
index:11个
data-00000-of-00001:11个
py:9个
需积分: 11 0 下载量 86 浏览量
2021-04-01
03:42:00
上传
评论
收藏 46.2MB ZIP 举报
温馨提示
ENIGMA GPU服务器 Tensorflow GPU服务器可通过ENIGMA E Prover进行快速评估。 运行服务器 服务器实现位于目录tf-server 。 主要启动文件是tf-server/tf_server_workers_thread.py 。 示例模型在目录models 。 如果您的方案中需要更改默认值( 127.0.0.1和8888 ),请更新文件tf-server/tf_server_workers_thread.py的变量SERVER_IP和SERVER_PORT的值。 运行电子客户端 从以下位置下载并编译具有GPU服务器支持的E客户端: 要指示客户端连接到GPU服务器,必须在E证明策略中使用EnigmaticTfs子句weigth函数。 其语法如下: EnigmaticTfs(prio_fun, server_ip, server_port, context_
资源推荐
资源详情
资源评论
收起资源包目录
enigma-gpu-server-main.zip (34个子文件)
enigma-gpu-server-main
tf-server
tf_server_workers_thread.py 3KB
segments.py 12KB
graph_conv.py 3KB
graph_placeholder.py 4KB
debug_node.py 679B
stop_watch.py 2KB
graph_data.py 11KB
premsel_test_formirek_multi.py 9KB
parallel_environment.py 5KB
models
lgb
fast.tar.xz 11.41MB
gnn
premsel_enigma_01_2020_T30_loop02_9.index 16KB
premsel_enigma_01_2020_T30_loop02_49.data-00000-of-00001 4.39MB
premsel_enigma_01_2020_T30_loop02_4.index 16KB
premsel_enigma_01_2020_T30_loop02_3.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_9.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_5.index 16KB
premsel_enigma_01_2020_T30_loop02_3.index 16KB
premsel_enigma_01_2020_T30_loop02_4.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_7.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_7.index 16KB
premsel_enigma_01_2020_T30_loop02_2.index 16KB
premsel_enigma_01_2020_T30_loop02_0.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_49.index 21KB
premsel_enigma_01_2020_T30_loop02_1.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_1.index 16KB
premsel_enigma_01_2020_T30_loop02_8.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_6.index 16KB
premsel_enigma_01_2020_T30_loop02_2.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_5.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_0.index 16KB
premsel_enigma_01_2020_T30_loop02_6.data-00000-of-00001 3.4MB
premsel_enigma_01_2020_T30_loop02_8.index 16KB
README.md 4KB
.gitignore 13B
共 34 条
- 1
资源评论
黄文池
- 粉丝: 25
- 资源: 4635
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功