-
Based on DPLL
-
Analyses a cnf document and prints correct answer if there is one
- Generates a Sudoku which has only one answer
- Contains samples in different forms.
- Contains the task file provided by the data structure course of HUST.
- Contains some related papers and other reference materials .
- Based on Win10
- Sudoku_c_windows
- Sudoku_cpp_windows
- SudokuQt
- Based on Unbuntu 20.04
- Sudoku_cpp_linux
- SudokuQt
- Old versions by others