基于QT实现的数独游戏DPLL的SAT求解器设计.zip

# ☺ Sudoku Game ## SAT Solver + Based on DPLL + Analyses a cnf document and prints correct answer **if there is one** ## Sudoku Generator + Generates a Sudoku which has only one answer ## Test Files + Contains **samples** in different forms. ## HUST Task Files & Sources + Contains the task file provided by the data structure course of HUST. + Contains some related papers and other reference materials . ## Versions + Based on Win10 + Sudoku_c_windows + Sudoku_cpp_windows + SudokuQt + Based on Unbuntu 20.04 + Sudoku_cpp_linux + SudokuQt + Old versions by others