文件名称：Sudoku:DPLL SAT求解器应用于Sudoku
文件大小：8KB
文件格式：ZIP
更新时间：2024-04-03 04:59:52
Python
数独 DPLL SAT求解器应用于Sudoku
【文件预览】：
Sudoku-main
----sudoku.py(7KB)
----__pycache__()
--------dpll_solve.cpython-37.pyc(4KB)
----dpll_solve.py(5KB)
----puzzles()
--------puzzle5.txt(172B)
--------puzzle4.txt(301B)
--------puzzle8.txt(302B)
--------puzzle2.txt(52B)
--------puzzle1.txt(243B)
--------puzzle7.txt(42B)
--------puzzle6.txt(301B)
--------puzzle3.txt(227B)
----README.md(43B)