README.md

☺ 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