基于sat的二进制数独游戏求解程序课程设计 .zip

华中科技大学计算机学院，程序设计综合课程，基于sat的二进制数独游戏求解程序，包括实验报告，源代码，部分求解结果，程序简单操作手册。

#include 
#include 
#include 
#include 

#define TRUE 1
#define FALSE 0
#define OK 1
#define ERROR 0
#define INFEASTABLE -1
#define OVERFLOW -2

typedef struct lNode{
	int l;         //存储文字 
	int mark;      //标记该文字是否被删除，初始值为1             
	struct lNode *next;         
}lNode*plNode;               //存储一个文字节点
typedef struct cNode{
	int l_count;        //存储一个子句的文字个数
	int flag;           //记录该子句因为flag而被删除，初始值为0 
	int mark;            //标记该子句是否被删除 ，初始值为1 
	lNode *firstl;          //指向第一个文字节点 
	struct cNode *next;        //指向下一条子句 
}cNode*pcNode;     //子句头节点 
typedef struct cnf{
	int varinum;       //变元个数 
	int claunum;        //子句个数
	cNode *firstc;      //指向第一个子句节点 
}cnf*pcnf;          //一个cnf公式
typedef struct SqList{
	int *e

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     文件        8192  2020-01-22 23:10  创建子句3main.suo
     目录           0  2020-03-30 09:52  测试结果\
     目录           0  2020-03-30 09:52  测试结果\puzzle\
     文件       87762  2020-03-22 21:17  测试结果\puzzle\BinaryPuzzle10.cnf
     文件        4900  2019-11-28 17:11  测试结果\puzzle\BinaryPuzzle10.pdf
     文件         458  2020-03-22 21:17  测试结果\puzzle\BinaryPuzzle10.res
     文件       87746  2020-03-22 20:42  测试结果\puzzle\BinaryPuzzle2.cnf
     文件        4947  2019-11-28 17:08  测试结果\puzzle\BinaryPuzzle2.pdf
     文件         458  2020-03-22 20:43  测试结果\puzzle\BinaryPuzzle2.res
     文件       87737  2020-03-22 20:44  测试结果\puzzle\BinaryPuzzle3.cnf
     文件        4694  2019-11-28 17:08  测试结果\puzzle\BinaryPuzzle3.pdf
     文件         458  2020-03-22 20:45  测试结果\puzzle\BinaryPuzzle3.res
     文件       87776  2020-03-22 20:53  测试结果\puzzle\BinaryPuzzle4.cnf
     文件        5038  2019-11-28 17:09  测试结果\puzzle\BinaryPuzzle4.pdf
     文件         458  2020-03-22 20:53  测试结果\puzzle\BinaryPuzzle4.res
     文件       87773  2020-03-22 20:55  测试结果\puzzle\BinaryPuzzle5.cnf
     文件        5076  2019-11-28 17:09  测试结果\puzzle\BinaryPuzzle5.pdf
     文件         458  2020-03-22 20:55  测试结果\puzzle\BinaryPuzzle5.res
     文件       87762  2020-03-22 20:58  测试结果\puzzle\BinaryPuzzle6.cnf
     文件        5479  2019-11-28 09:48  测试结果\puzzle\BinaryPuzzle6.pdf
     文件         458  2020-03-22 20:58  测试结果\puzzle\BinaryPuzzle6.res
     文件       87759  2020-03-22 21:00  测试结果\puzzle\BinaryPuzzle7.cnf
     文件        4994  2019-11-28 17:10  测试结果\puzzle\BinaryPuzzle7.pdf
     文件         458  2020-03-22 21:01  测试结果\puzzle\BinaryPuzzle7.res
     文件       87764  2020-03-22 21:03  测试结果\puzzle\BinaryPuzzle8.cnf
     文件        5001  2019-11-28 17:10  测试结果\puzzle\BinaryPuzzle8.pdf
     文件         458  2020-03-22 21:03  测试结果\puzzle\BinaryPuzzle8.res
     文件       87738  2020-03-22 21:15  测试结果\puzzle\BinaryPuzzle9.cnf
     文件        4860  2019-11-28 17:11  测试结果\puzzle\BinaryPuzzle9.pdf
     文件         458  2020-03-22 21:15  测试结果\puzzle\BinaryPuzzle9.res
     文件       87715  2020-03-22 20:40  测试结果\puzzle\BinaryPuzzlev1.cnf
............此处省略82个文件信息