Cryptol_01_环境搭建

Cryptol 环境搭建

下载Cryptol

1. 下载软件：https://cryptol.net/downloads.html ；

   下载速度速度比较慢，可以在github上下载：https://github.com/GaloisInc/cryptol/releases

   如果github上下载速度也比较慢的话，可以到csdn上用积分下载：https://download.csdn.net/download/weixin_41754258/14003530

2. 点击.msi文件，直接进行安装，本人下载安装的是Cryptol 2.10.0版本；

3. 安装完成之后闪退，原因应该是没有安装求解器；

安装求解器

1. 下载安装求解器，版本z3-4.8.9-x64-win.zip，官方给的网址是：https://github.com/Z3Prover/z3/releases
2. 官方的速度比较慢，可以到csdn上用积分下载：https://download.csdn.net/download/qq_37400312/12914629
3. 下载完成后，将其解压，放到某个目录下PathA；
4. 参考 https://blog.csdn.net/qq_38234785/article/details/100896452
   1. 在环境变量中设置Cryptol的安装路径；
   2. 添加一个新的变量PYTHONPATH，是Z3的安装路径；