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

[{"title":"（ 107 个子文件 1.76MB ） 基于sat的二进制数独游戏求解程序课程设计 .zip","children":[{"title":"创建子句3main.suo <span style='color:#111;'> 8.00KB </span>","children":null,"spread":false},{"title":"课程设计报告.docx <span style='color:#111;'> 1.18MB </span>","children":null,"spread":false},{"title":"程序简单操作手册.docx <span style='color:#111;'> 52.82KB </span>","children":null,"spread":false},{"title":"ais8.cnf <span style='color:#111;'> 16.38KB </span>","children":null,"spread":false},{"title":"u-5cnf_3500_3500_30f1.shuffled-30.res <span style='color:#111;'> 184B </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]