本文介绍了如何在Windows下安装和运行Cryptominisat SAT求解器，包括下载源码、编译过程（推荐使用VS2015）、注意事项（避免手动下载zlib）以及生成的可执行文件和库文件的使用方法。同时提到了在使用过程中可能出现的问题及解决办法，如设置项目属性以避免链接错误。
cryptominisat是由msoos所开发的一款sat求解器，sat的具体问题另外一篇博客里有详细介绍点击打开链接，本篇文章只介绍如何在windows下运行cryptominisat，将自己遇到的坑都写下来，方便后来人。
sat求解器cryptominisat下载：点击打开链接
从链接中下载sat求解器后，链接中提供了如何在windows下编译源码，具体步骤参考下图，
注意：这里的编译器使用的是vs2015，如果不想自己去改参数的话，一定要装上vs2015，具体的步骤就按上图进型操作。唯一注意的点就是， 在获取zlib的时候，直接通过上述命令获取就行，不要自己去下载zlib，自己下载zlib的话，会存在各种问题，上述都是楼主踩过的坑。
通过上述步骤之后，会在编译后的文件加build的文件夹里有一个
最低0.47元/天 解锁文章
扫一扫
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
