欧氏瓣心内膜炎
夏娃在线
出版
-
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）