Last summer I let Google’s CP-SAT solver crack Sudokus in fractions of a second. Deeply satisfying. Educational? Not really. The solver learned nothing, and neither did I. It just knew. That is also my problem with every Sudoku app I have tried. You get stuck, you tap “hint”, and the app says: “Row 4, column… Read more Teach Me, Don’t Tell Me: A Single-Page Sudoku Trainer