华中科技大学2017级C语言和数据结构课程设计(基于SAT的数独游戏设计)