GitHub - AndreiXYZ/SudokuSATSolver: SAT solver for Sudoku games. (DIMACS format)

AndreiXYZ / SudokuSATSolver Public

SAT solver for Sudoku games. (DIMACS format)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 64 Commits
pkls with deepcopy		pkls with deepcopy
test sudokus		test sudokus
.gitignore		.gitignore
SAT		SAT
asd		asd
backtrack_diag.pkl		backtrack_diag.pkl
backtrack_dlis.pkl		backtrack_dlis.pkl
backtrack_jeroslow.pkl		backtrack_jeroslow.pkl
backtrack_random.pkl		backtrack_random.pkl
experiments.py		experiments.py
generate_stats.py		generate_stats.py
runtimes_diag.pkl		runtimes_diag.pkl
runtimes_dlis.pkl		runtimes_dlis.pkl
runtimes_jeroslow.pkl		runtimes_jeroslow.pkl
runtimes_random.pkl		runtimes_random.pkl
sudoku-example.txt		sudoku-example.txt
sudoku-rules.txt		sudoku-rules.txt
testfile.txt		testfile.txt