陈止风的博客

来源自我的博客 http://www.yingzinanfei.com/2016/09/22/cygwinanzhuangapt-cyg/apt-cyg是cygwin下的软件包管理器，类似于ubuntu下面的apt-get在cygwin终端中输入# lynx -source rawgit.com/transcode-open/apt-cyg/master/apt-cyg > apt-cyg

来源自我的博客 http://www.yingzinanfei.com/2017/02/01/cygwinhuanjinganzhuangnusmv/安装NuSMV的过程参见另一篇安装过程，本文记录安装中出现的错误及解决方案安装供下载MiniSat依赖的patch指令apt-cyg install patch安装readlineapt-cyg install libreadline7