A program that parses a sudoku into CNF clauses encoded in DIMACS format, uses the CaDiCaL SAT solver to solve them and transforms the result to a sudoku again with the solution.
When I was in middle school, I had a classmate who would look at trigonometric functions and yell, "I will never need these!" ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback