cryptominisat是由msoos所开发的一款sat求解器,sat的具体问题另外一篇博客里有详细介绍点击打开链接,本篇文章只介绍如何在windows下运行cryptominisat,将自己遇到的坑都写下来,方便后来人。
sat求解器cryptominisat下载:点击打开链接
从链接中下载sat求解器后,链接中提供了如何在windows下编译源码,具体步骤参考下图,
注意:这里的编译器使用的是vs2015,如果不想自己去改参数的话,一定要装上vs2015,具体的步骤就按上图进型操作。唯一注意的点就是, 在获取zlib的时候,直接通过上述命令获取就行,不要自己去下载zlib,自己下载zlib的话,会存在各种问题,上述都是楼主踩过的坑。</