- 博客(3)
- 资源 (6)
- 收藏
- 关注
RSS订阅原创 Boolean Satisfiability Problem(SAT)问题介绍
SAT 可满足问题是第一个被证明的NP问题（就是能在多项式时间验证答案正确与否的问题）
2018-06-02 15:49:54
11605
原创 windows下编译以及运行cryptominisat 求解器（sat求解器）
cryptominisat是由msoos所开发的一款sat求解器，sat的具体问题另外一篇博客里有详细介绍，本篇文章只介绍如何在windows下运行cryptominisat，将自己遇到的坑都写下来，方便后来人。sat求解器cryptominisat下载：点击打开链接从链接中下载sat求解器后，链接中提供了如何在windows下编译源码，具体步骤参考下图， 注意：这里的编译器使用的是...
2018-06-02 14:58:44
6808
3
转载 debug与release的区别
一、Debug和Release的区别 Debug：调试版本，包含调试信息，所以容量比Release大很多，并且不进行任何优化（优化会使调试复杂化，因为源代码和生成的指令间关系会更复杂），便于程序员调试。Debug模式下生成两个文件，除了.exe或.dll文件外，还有一个.pdb文件，该文件记录了代码中断点等调试信息 Release：发布版本，不对源代码进行调试，编译时对应用程序的速度进行优化...
2018-06-02 10:48:49
1131
cryptominisat类库
2018-06-26
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人