"Sudoku Solver"
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.
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.