Three Sudoku solvers, one engine, 34,000 fewer guesses

· Dev.to