Name	Name	Last commit message	Last commit date
Latest commit Vixci Adds the SAT implementation and organizes modules and packages. Sep 18, 2020 d6099b0 · Sep 18, 2020 History 14 Commits
input	input	Adds a few parser utilities and general cleanup in the input folder	Sep 13, 2020
sudoku	sudoku	Adds the SAT implementation and organizes modules and packages.	Sep 18, 2020
.gitignore	.gitignore	Adds the SAT implementation and organizes modules and packages.	Sep 18, 2020
README.md	README.md	Initial commit	Sep 11, 2020
SAT	SAT	Adds a few parser utilities and general cleanup in the input folder	Sep 13, 2020
main.py	main.py	Adds the SAT implementation and organizes modules and packages.	Sep 18, 2020