欧氏瓣心内膜炎
夏娃在线
出版
-
J、 古铁雷斯,纳吉布先生,佩雷利先生,伍尔德里奇先生。 自动时间均衡分析:多人博弈的验证与综合 .英寸 人工智能 2020年。 PDF格式 -
J、 古铁雷斯,纳吉布先生,佩雷利先生,伍尔德里奇先生。 EVE:时间均衡分析工具 .英寸 第16届验证与分析自动化技术国际研讨会论文集(ATVA-2018) ,洛杉矶,2018年10月。 PDF格式
软呢帽 乌班图
安装
先决条件
-
python 3.x版 -
奥帕姆( https://opam.ocaml.org/doc/Install.html )+OCaml版本4.03.x或更高版本( https://ocaml.org/docs/install.html ). 要安装OPAM(与OCaml一起安装): 软呢帽 sudo yum安装补丁 sudo yum安装m4 sudo wget公司 https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O-| sh-s/usr/本地/银行 回声“y”| opam初始化 评估`opam配置环境`
乌班图 sudo apt get安装m4 sudo wget公司 https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O-| sh-s/usr/本地/银行 回声“y”| opam初始化 评估`opam配置环境`
-
开罗( https://cairographics.org/download/ )或源代码( https://cairographics.org/releases/ ). 要安装Cairo: 软呢帽 sudo yum安装cairo-devel sudo yum安装pycairo
乌班图 sudo apt get安装libcairo2 dev sudo apt get安装python cairo
-
IGraph 0.7版( http://igraph.org/python/ ) 您需要在您的计算机上安装一个C/C++编译器。 安装 软呢帽 sudo yum安装python igraph
乌班图 sudo apt get安装python igraph
配置
确保你具备所有的先决条件 进入eve py文件夹 运行shell脚本 ./config.sh文件 (你可能需要跑 chmod+x配置.sh ) 在运行config.sh之前,请确保OCaml是4.03.x或更高版本
如何使用
-
用法: 从文件夹内部 夏娃py/src 执行以下命令: $主要。 py[问题][路径/文件名][选项] -
问题列表: 一 求解A-Nash的参数 e 求解E-Nash的参数 n 解决非空的参数 -
可选参数列表: -d 绘制结构的选项 -五 在详细模式下执行的选项 -
例子: $主要。 py a../示例/a-nash_1-d 解决了A-Nash问题并绘制了结构
运行实验
转到文件夹 eve py/src/实验 ,有8个脚本(您可能需要运行 chmod+x<script_filename.sh> 运行这些脚本): bisim muu ne_empty.sh 比西姆无空.sh 八卦协议空.sh 八卦协议_enash.sh 八卦协议_anash.sh 副本\u control_empty.sh 副本\u control_enash.sh 复制品_control_anash.sh
执行脚本“实验名”。 sh使用命令 /实验名称。 第8页 这将使实验“实验名”运行到8个步骤。 实验结果将在生成的文件中报告 exetime U实验_name.txt 以分号分隔的下列值: 解析器性能(毫秒) 施工绩效(ms) PGSolver性能(毫秒) 非空/E-Nash/A-Nash性能(ms) 奇偶博弈状态总数 奇偶对策边总数 顺序奇偶对策状态的最大总数 顺序奇偶对策边的最大总数 总时间性能(ms)