文件名称：Sudoku_Solver
文件大小：127KB
文件格式：ZIP
更新时间：2024-04-24 03:19:10
Python
数独 吴子彤，2020年10月27日 将数独难题建模并解决，将其作为命题逻辑可满足性问题。 有关更多信息，请参见[IMPLEMENTATION]（ ）。 规则：同一个整数不能在同一行，列，对角线或9个9×9的游戏板中的任何一个中出现两次。 指示 在终端中，导航到文件所在的文件夹，键入例如： python3 solve_sudoku.py puzzle1.cnf 。 使用您要测试的sufoku cnf文件更改参数puzzle1.cnf 。 或者，在“ test_sat.py”中，输入数独cnf文件名。 例如： filename = "puzzle1.cnf" 例子 拼图1解决方案：
【文件预览】：
Sudoku_Solver-master
----puzzle1.cnf(43KB)
----IMPLEMENTATION.md(9KB)
----images()
--------puzzle1_unsolved.png(21KB)
--------puzzle2.png(29KB)
--------.DS_Store(6KB)
--------puzzle1.png(29KB)
--------puzzle2_unsolved.png(21KB)
----display.py(912B)
----solve_sudoku.py(1KB)
----puzzle2.sol(3KB)
----test_sat.py(913B)
----report_pa5.md(7KB)
----puzzle2.sud(144B)
----sudoku2cnf.py(911B)
----puzzle2.cnf(43KB)
----SAT.py(7KB)
----puzzle1.sol(3KB)
----README.md(860B)
----puzzle1.sud(144B)
----Sudoku.py(5KB)