I tried writing a sudoku solver using what I figured were standard algorithmic approaches. It was a mess and didn't really work. Then I wrote one with SAT. I t

I tried writing a sudoku solver using what I figured were standard algorithmic approaches. It was a mess and didn't really work. Then I wrote one with SAT. I think it was 60 LOC, super easy to understand, and ran in about 0.4 sec.