>>13861790Sudoku is a waste of time, use a SAT solver:
1: a number can be represented by a single 9-bit vector where such a vector can only take on a single bit at a time
2: every square has a unique combination of numbers
3: every column has a unique combination of numbers
4: every row has a unique combination of numbers.
5: fill in the given numbers
Or just directly use some bfs/ids/heuristic algorithm.
It's simple high school stuff
