activetcl的下载较为简单，下载安装包进入安装界面后一直点next就可以安装了，可以参考这个博文。https://blog.csdn.net/iamsarah/article/details/70805893
spin的安装需要activetcl环境和gcc环境
下载spin，版本6.4.9是放在GitHub上的https://github.com/nimble-code/Spin，下载后解压找到bin目录，寻找自己所需要的版本，解压出exe文件后修改文件名为spin.exe，再找到optional_gui目录下的ispin.tcl，备用。
gcc环境可以下载Cygwin进行配置，网络上有其他教程，这里博主使用Dev C++中的gcc。
找到Dev C++的安装目录，找到gcc
将上述的spin.exe文件拷贝到这个目录中
在系统环境变量中加上gcc：
加上INCLUDE
加上LIB
在Path中加上bin（两个，一个是gcc的，另一个是tcl的）
添加环境变量后，进行测试
能够出现上述输出则配置成功，点开上诉ispin.tcl文件，则出现下面的界面
Graphviz的下载安装，配置环境和简单实例