Win10安装scyther

一.下载scyther软件

1.进入scyther官网

https://people.cispa.io/cas.cremers/scyther/index.html

2.下载scyther

        下载之后解压到scyther-w32-v1.1.3文件夹

二.安装python2.7.18

        如果电脑已经安装了python3版本的，先将Python3版本的卸载，因为这个软件有组件依赖python2，也可以尝试两个版本共存（这里我直接卸载了Python3）。

1.卸载python3

（1）在控制面板卸载Python和Python launcher

（2）删除Python3的环境变量

                查看高级系统设置，点击环境变量，在path中找到python3的两个环境变量，删除即可

2.安装python2

（1）进入python官网

        Download Python | Python.org

（2）下载安装，全部点击next

​

（3）记住安装的路径，安装完后，再去path中添加python2的两个系统环境变量

三.安装GraphViz9.0.0       

        http://www.graphviz.org/

        安装过程中注意选择要添加环境变量

 

 四.安装wxPython (32-bit)

        wxPython - Browse /wxPython/3.0.2.0 at SourceForge.net

五.运行scyther软件

1. 进入解压后的文件夹

        E:\scyther-w32-v1.1.3\scyther-w32-v1.1.3（我放在e盘了，看你自己放在哪个盘）

2.打开终端

3.打开scyther软件

  打开终端，输入python scyther-gui.py 即可

4.运行可执行文件

（1）点击file，open，ns3.spdl文件。

（2）点击verify，成功运行

六.结语

看了很久论文，感觉很多运用scyther软件的，一直想下又没下，纠结不如行动，不管最后用不用得上，下了再说，不过感觉研究怎么写代码也是头疼的事，继续走吧