"Sudoku Solver"
project.contributors = [
Natalie Wagner
]
display(project.description);
I wanted to try making a Sudoku variants solver using a SAT solver library. The live demo has 3 puzzles to demonstrate some of the capabilities of the solver. Heavily inspired by my time solving puzzles on the Logic Master forum.