[{"title":"( 12 个子文件 8KB ) Sudoku:DPLL SAT求解器应用于Sudoku-源码","children":[{"title":"Sudoku-main","children":[{"title":"sudoku.py <span style='color:#111;'> 7.40KB </span>","children":null,"spread":false},{"title":"__pycache__","children":[{"title":"dpll_solve.cpython-37.pyc <span style='color:#111;'> 4.28KB </span>","children":null,"spread":false}],"spread":true},{"title":"dpll_solve.py <span style='color:#111;'> 5.13KB </span>","children":null,"spread":false},{"title":"puzzles","children":[{"title":"puzzle5.txt <span style='color:#111;'> 172B </span>","children":null,"spread":false},{"title":"puzzle4.txt <span style='color:#111;'> 301B </span>","children":null,"spread":false},{"title":"puzzle8.txt <span style='color:#111;'> 302B </span>","children":null,"spread":false},{"title":"puzzle2.txt <span style='color:#111;'> 52B </span>","children":null,"spread":false},{"title":"puzzle1.txt <span style='color:#111;'> 243B </span>","children":null,"spread":false},{"title":"puzzle7.txt <span style='color:#111;'> 42B </span>","children":null,"spread":false},{"title":"puzzle6.txt <span style='color:#111;'> 301B </span>","children":null,"spread":false},{"title":"puzzle3.txt <span style='color:#111;'> 227B </span>","children":null,"spread":false}],"spread":true},{"title":"README.md <span style='color:#111;'> 43B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]