基于sat的二进制数独游戏求解程序课程设计 .zip （107个子文件） 
创建子句3main.suo 8KB
课程设计报告.docx 1.18MB 程序简单操作手册.docx 53KB ais8.cnf 16KB u-5cnf_3500_3500_30f1.shuffled-30.res 184B eh-dp04s04.shuffled-1075.res 5KB u-5cnf_3900_3900_060.shuffled-60.res 343B ais10.cnf 36KB sud00079.cnf 33KB anomaly.cnf 3KB problem3-100.res 548B php-010-008.shuffled-as.sat05-1171.cnf 3KB problem11-100.res 548B eh-dp04s04.shuffled-1075.cnf 39KB unsat-5cnf-30.res 184B 7cnf20_90000_90000_7.shuffled-20.cnf 35KB anomaly.res 274B php-010-008.shuffled-as.sat05-1171.res 445B tst_v50_c500.res 287B tst_v50_c500.cnf 6KB u-5cnf_3900_3900_060.shuffled-60.cnf 17KB tst_v200_c210.cnf 3KB problem1-20.res 130B ais6.cnf 6KB qg4-08.cnf 128KB sud00012.res 1KB sw100-70.cnf 36KB sud00009.cnf 34KB 7cnf20_90000_90000_7.shuffled-20.res 132B sud00009.res 2KB sud00012.cnf 22KB tst_v200_c210.res 1KB ais12.cnf 67KB ais8.res 614B problem11-100.cnf 8KB sud00082.res 1KB sud00001.cnf 33KB sud00079.res 2KB problem2-50.res 287B bw_large.a.res 2KB sud00082.cnf 20KB bw_large.a.cnf 58KB bart17.shuffled-231.res 1KB sat-20.res 130B u-problem7-50.cnf 1KB qg7-09.cnf 307KB u-5cnf_3500_3500_30f1.shuffled-30.cnf 7KB sud00861.cnf 32KB sud00021.res 2KB u-problem7-50.res 288B qg4-08.res 3KB sat-20.cnf 1KB problem3-100.cnf 4KB sud00021.cnf 34KB problem1-20.cnf 1KB ais10.res 970B bart17.shuffled-231.cnf 15KB sw100-1.cnf 36KB sw100-1.res 3KB sw100-70.res 3KB ais12.res 1KB problem2-50.cnf 1KB qg7-09.res 4KB sud00861.res 2KB ais6.res 343B unsat-5cnf-30.cnf 7KB sud00001.res 2KB BinaryPuzzle5.res 458B
BinaryPuzzle2.pdf 5KB BinaryPuzzle4.res 458B BinaryPuzzle5.pdf 5KB BinaryPuzzlev1.cnf 86KB BinaryPuzzle5.cnf 86KB BinaryPuzzle3.res 458B BinaryPuzzle10.cnf 86KB BinaryPuzzle8.res 458B BinaryPuzzle6.cnf 86KB BinaryPuzzle2.cnf 86KB BinaryPuzzle6.res 458B BinaryPuzzlev1.pdf 5KB BinaryPuzzle3.pdf 5KB BinaryPuzzle6.pdf 5KB BinaryPuzzle8.pdf 5KB BinaryPuzzle9.cnf 86KB BinaryPuzzle10.pdf 5KB BinaryPuzzle10.res 458B BinaryPuzzle8.cnf 86KB BinaryPuzzle7.res 458B BinaryPuzzle9.pdf 5KB BinaryPuzzle2.res 458B BinaryPuzzle4.cnf 86KB BinaryPuzzle7.cnf 86KB BinaryPuzzle4.pdf 5KB BinaryPuzzle3.cnf 86KB BinaryPuzzlev1.res 458B BinaryPuzzle7.pdf 5KB BinaryPuzzle9.res 458B
sat问题main.exe 135KB sat问题main.cpp 8KB sat问题.dev 1KB共 107 条
- 1
- 2
评论0
最新资源