大二上数据结构课程设计
# 基于SAT的蜂窝数独游戏求解程序
课程设计 基于SAT的蜂窝数独游戏求解程序+设计报告源码+详细说明+全部数据资料 高分项目.zip
版权申诉
117 浏览量
2024-05-08
14:44:30
上传
评论
收藏 3.72MB ZIP 举报
课程设计 基于SAT的蜂窝数独游戏求解程序+设计报告源码+详细说明+全部数据资料 高分项目.zip （30个子文件） 
SATsolver_hust-main 
ais10.cnf 36KB flat30-1.res 653B sud00012.cnf 22KB ais8.cnf 16KB sw100-1.cnf 36KB
大数据2201班-U202215566-刘师言-课设报告.docx 3.53MB Makefile 248B ais6.cnf 6KB tst_v100_c425.cnf 5KB qg7-09.cnf 307KB
SAT求解及数独游戏.exe 603KB tst_v10_c100.cnf 1KB SudokuTableBase.cnf 689KB tst_v100_c400.cnf 5KB flat30-99.cnf 3KB
补充说明.txt 1KB ais12.cnf 67KB qg4-08.cnf 128KB satSolve.c 47KB sat-20.cnf 1KB tst_v200_c220.cnf 3KB u-5cnf_3500_3500_30f1.shuffled-30.cnf 7KB SAT.h 4KB sud00001.cnf 33KB flat30-1.cnf 3KB main.c 941B README.md 83B sw100-70.cnf 36KB easy_hanidoku.txt 345KB
171265889347208773632.zip 416B资源评论
不走小道
- 粉丝: 3237
- 资源: 5112
下载权益
C知道特权
VIP文章
课程特权
VIP享7折，此内容立减5.97元 开通VIP
