最近需要对论文进行仿真,在安装过程中发现有一些坑,因此记录一下安装和配置Scyther的过程。
一、下载scyther
- 首先打开scyther官网。https://people.cispa.io/cas.cremers/scyther/index.html
- 下载对应的版本
- 点开installation发现需要用到一些其他组件
二、下载其他组件
- GraphViz下载最新版本即可
- 需要使用python2,可以去官网上下载python 2.7
- 最坑的是wxPython,官网给的链接是其已经支持的最新版本。wx4.x。而scyther是依赖其旧版的。
在给的链接最下方可以看到旧版的链接 https://sourceforge.net/projects/wxpython/files/wxPython/3.0.2.0/
- 在其中选择win64位的版本下载即可
三、安装scyther
所需组件下载完后,分别安装,然后解压scyther文件夹。在此文件夹中打开cmd,输入 python scyther-gui.py即可打开scyther。
ps:使用python2是因为同时安装了python2和python3,为了区别而把python.exe改成python2.exe。如果只安装了python2不必修改。