Sudoku_AND_SatSolver

An open source project to creating Sudoku and translates it to SAT problem. And I implemented a basic MiniSAT solver in C language.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
SAT求解器		SAT求解器
.gitignore		.gitignore
2.20.md		2.20.md
README.md		README.md
SAT求解器.sln		SAT求解器.sln
test.zip		test.zip

Navigation Menu