文件名称：U20XX14XXX-XXX.rar
文件大小：663KB
文件格式：RAR
更新时间：2023-06-12 15:47:43
华中科技大学 c语言课程设计 DPLL算法 二进制数独游戏
这是华科c语言课设课题的完整解决方案，包括了源码以及课程报告，希望下载者仅下载后通过观察得到思路，严禁套作抄袭。 /*输入的测试文件为文件的绝对路径*/
【文件预览】：
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)