m0_37756072的博客

严重性 代码 说明 项目 文件 行 禁止显示状态错误 C2446 “==”: 没有从“const char *”到“int”的转换 test1 d:\vs-c+±code\test1\test1\test.cpp 11 错误 C2446 “!=”: 没有从“const char *”到“int”的转换 test1 d:\vs-c+±code\test1\test1\test.cpp 10 解决方法：将“.”改为单引号‘.’错误代码：#include <iostream>using

运行代码后出现警告 C4996解决方法：在代码前面添加一行代码后运行成功#pragma warning(disable:4996)运行代码后出现警告 C4244严重性 代码 说明 项目 文件 行 禁止显示状态 警告 C4244 “return”: 从“double”转换到“int”，可能丢失数据 解决方法：将配置管理器x86改为x64后运行成功...

从零开始编写SAT求解器（一）源起背景知识SAT问题DIMACS文件DPLL算法项目架构从零开始编写SAT求解器（一）源起最近在github上看到了非常有名的cryptominisat开源项目。目前的SAT问题自动求解器有在线版的MiniSAT,但是这个需要科学上网。正好最近一直在写Java和python，C++有点生疏，而网上有大神用Haskell实现了简易的SAT求解器，就想用C++写一个自己的SAT求解器。（C++是最棒的语言）背景知识SAT问题SAT问题是布尔可满足性问题（又