在线安装太慢了，就在些整理了一份离线版：
win10 64位通常使用：x86_64-8.1.0-release-posix-seh-rt_v6-rev0.7z
下载后解压，然后将解压后的bin目录的全路径 添加到 系统环境变量中即可。
2021-11-15 21:03:34
47.13MB
1
git的bash实际上也就是一个mingw，是可以支持部分linux指令的，但是只有少部分。在编译代码的时候经常会使用make命令反而在bash下默认是不支持的。
把该文件进行解压
把解压出来的文件全部拷贝的git的安装目录下： . \Program Files\Git\mingw64\ ,把文件夹进行合并，如果跳出来需要替换的文件要选择不替换
这样在git bash窗口下就可以执行make了（编译的时候编译器还是需要另外安装的）
2021-11-14 18:39:22
6.27MB
1
mingw-x86_64-8.1.0，可以编译 win32 和 win64程序。解压后直接使用，添加环境变量即可，找了很久，很多版本都安装失败
解决go程序，编译时 exec: "gcc": executable file not found in %PATH% 问题；
参考：https://www.cnblogs.com/zsy/p/5958170.html
2021-11-12 14:02:29
47.13MB
1
Spin是模型检验的重要工具之一，资源中包含其在win环境下安装所需要的全部依赖资源，主要包含以下部分：源码、Tcl、gcc环境（MinGW和cygwin）。大部分资源下载都需要科学上网且速度较慢，资源中一并打包好了，欢迎下载。另外推荐两篇关于Spin模型检验的优秀博客，大家一起学习。
2021-11-11 16:21:01
137.86MB
1