U20XX14XXX-XXX.rar
(预估有个27文件)
U20XX14XXX-XXX
程序设计综合课程设计报告.docx
599KB
棋盘测试用例
10-4.cnf
225B
10-3.cnf
204B
8-1.cnf
119B
10-1.cnf
180B
6-5.cnf
101B
8-3.cnf
136B
8-4.cnf
127B
8-2.cnf
130B
6-2.cnf
72B
6-3.cnf
65B
10-5.cnf
162B
10-2.cnf
197B
10.cnf
141KB
6.cnf
25KB
6-1.cnf
91B
8.cnf
66KB
8-5.cnf
150B
6-4.cnf
106B
优化后的程序源代码和可执行程序
BPsoduku.c
15KB
main.c
7KB
dpllsat_ug.h
3KB
dpllsat.c
5KB
File.c
4KB
基于dpll的sat改进.exe
69KB
优化前的程序源代码和可执行程序
SATdpll.exe
47KB
源.cpp
9KB
暂无评论