Name		Name	Last commit message	Last commit date
Latest commit History 51 Commits
experiments		experiments
sattools		sattools
test_sudokus		test_sudokus
.gitignore		.gitignore
README.md		README.md
requirements.txt		requirements.txt
run_experiment.py		run_experiment.py
run_solver.py		run_solver.py
speeds.xlsx		speeds.xlsx
sudoku-example.txt		sudoku-example.txt

Repository files navigation

Instruction

Python version >= 3.7.

Packages:

To do a single SAT solve and get its results: python run_solver.py PATH_TO_DIMACS_FILE --heuristic HEURISTIC

Replace PATH_TO_DIMACS_FILE with a string to where the SAT in DIMACS format can be found.

Replace HEURISTIC with the heuristic to use. Supported are: ["random", "weighted", "weighted_abs", "greedy"].

Add --profile if you wish to get a cProfile report about the exact function runtimes and amount of calls.