【文件属性】：
文件名称：Spin软件安装组件.rar
文件大小：137.86MB
文件格式：RAR
更新时间：2023-08-09 08:58:28
spin ActivateTcl MinGW
Spin是模型检验的重要工具之一，资源中包含其在win环境下安装所需要的全部依赖资源，主要包含以下部分：源码、Tcl、gcc环境（MinGW和cygwin）。大部分资源下载都需要*且速度较慢，资源中一并打包好了，欢迎下载。另外推荐两篇关于Spin模型检验的优秀博客，大家一起学习。
【文件预览】：
Spin软件安装组件
----mingw-17.1.exe(87.24MB)
----spin.rar(956KB)
----ActiveTcl-8.6.9.8609.2-MSWin32-x64-5ccbd9ac8.exe(14.87MB)
----setup-x86_64.exe(1.29MB)
----winrar-x64-580scp.exe(3.18MB)
----graphviz-2.38.msi(34.17MB)