華中科技大學(xué)2017級(jí)C語言和數(shù)據(jù)結(jié)構(gòu)課程設(shè)計(jì)（基于SAT的數(shù)獨(dú)游戲設(shè)計(jì)）