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