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_