Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
README.md		README.md
U202012656_张锦程.zip		U202012656_张锦程.zip

Repository files navigation

Hust_SAT_sudo

基于SAT的数独游戏求解程序

1. 求解CNF文件

2. 挖洞法生成数独棋盘，进行求解

详细下载后阅读简要操作手册

点个小星星吧！！！

About

华中科技大学计算机科学与技术学院程序设计

sudo cnf hust sat dpll

Report repository

Releases

No releases published

Packages

Contributors