#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;?????????//存儲(chǔ)文字?
	int?mark;??????//標(biāo)記該文字是否被刪除，初始值為1?????????????
	struct?lNode?*next;?????????
}lNode*plNode;???????????????//存儲(chǔ)一個(gè)文字節(jié)點(diǎn)
typedef?struct?cNode{
	int?l_count;????????//存儲(chǔ)一個(gè)子句的文字個(gè)數(shù)
	int?flag;???????????//記錄該子句因?yàn)閒lag而被刪除，初始值為0?
	int?mark;????????????//標(biāo)記該子句是否被刪除?，初始值為1?
	lNode?*firstl;??????????//指向第一個(gè)文字節(jié)點(diǎn)?
	struct?cNode?*next;????????//指向下一條子句?
}cNode*pcNode;?????//子句頭節(jié)點(diǎn)?
typedef?struct?cnf{
	int?varinum;???????//變元個(gè)數(shù)?
	int?claunum;????????//子句個(gè)數(shù)
	cNode?*firstc;??????//指向第一個(gè)子句節(jié)點(diǎn)?
}cnf*pcnf;??????????//一個(gè)cnf公式
typedef?struct?SqList{
	int?*e

?屬性????????????大小?????日期????時(shí)間???名稱
-----------?---------??----------?-----??----
?????文件????????8192??2020-01-22?23:10??創(chuàng)建子句3main.suo
?????目錄???????????0??2020-03-30?09:52??測試結(jié)果\
?????目錄???????????0??2020-03-30?09:52??測試結(jié)果\puzzle\
?????文件???????87762??2020-03-22?21:17??測試結(jié)果\puzzle\BinaryPuzzle10.cnf
?????文件????????4900??2019-11-28?17:11??測試結(jié)果\puzzle\BinaryPuzzle10.pdf
?????文件?????????458??2020-03-22?21:17??測試結(jié)果\puzzle\BinaryPuzzle10.res
?????文件???????87746??2020-03-22?20:42??測試結(jié)果\puzzle\BinaryPuzzle2.cnf
?????文件????????4947??2019-11-28?17:08??測試結(jié)果\puzzle\BinaryPuzzle2.pdf
?????文件?????????458??2020-03-22?20:43??測試結(jié)果\puzzle\BinaryPuzzle2.res
?????文件???????87737??2020-03-22?20:44??測試結(jié)果\puzzle\BinaryPuzzle3.cnf
?????文件????????4694??2019-11-28?17:08??測試結(jié)果\puzzle\BinaryPuzzle3.pdf
?????文件?????????458??2020-03-22?20:45??測試結(jié)果\puzzle\BinaryPuzzle3.res
?????文件???????87776??2020-03-22?20:53??測試結(jié)果\puzzle\BinaryPuzzle4.cnf
?????文件????????5038??2019-11-28?17:09??測試結(jié)果\puzzle\BinaryPuzzle4.pdf
?????文件?????????458??2020-03-22?20:53??測試結(jié)果\puzzle\BinaryPuzzle4.res
?????文件???????87773??2020-03-22?20:55??測試結(jié)果\puzzle\BinaryPuzzle5.cnf
?????文件????????5076??2019-11-28?17:09??測試結(jié)果\puzzle\BinaryPuzzle5.pdf
?????文件?????????458??2020-03-22?20:55??測試結(jié)果\puzzle\BinaryPuzzle5.res
?????文件???????87762??2020-03-22?20:58??測試結(jié)果\puzzle\BinaryPuzzle6.cnf
?????文件????????5479??2019-11-28?09:48??測試結(jié)果\puzzle\BinaryPuzzle6.pdf
?????文件?????????458??2020-03-22?20:58??測試結(jié)果\puzzle\BinaryPuzzle6.res
?????文件???????87759??2020-03-22?21:00??測試結(jié)果\puzzle\BinaryPuzzle7.cnf
?????文件????????4994??2019-11-28?17:10??測試結(jié)果\puzzle\BinaryPuzzle7.pdf
?????文件?????????458??2020-03-22?21:01??測試結(jié)果\puzzle\BinaryPuzzle7.res
?????文件???????87764??2020-03-22?21:03??測試結(jié)果\puzzle\BinaryPuzzle8.cnf
?????文件????????5001??2019-11-28?17:10??測試結(jié)果\puzzle\BinaryPuzzle8.pdf
?????文件?????????458??2020-03-22?21:03??測試結(jié)果\puzzle\BinaryPuzzle8.res
?????文件???????87738??2020-03-22?21:15??測試結(jié)果\puzzle\BinaryPuzzle9.cnf
?????文件????????4860??2019-11-28?17:11??測試結(jié)果\puzzle\BinaryPuzzle9.pdf
?????文件?????????458??2020-03-22?21:15??測試結(jié)果\puzzle\BinaryPuzzle9.res
?????文件???????87715??2020-03-22?20:40??測試結(jié)果\puzzle\BinaryPuzzlev1.cnf
............此處省略82個(gè)文件信息