I made a sudoku solver back when I was in school. It's quite simple and almost a textbook case for backtracking. Even brute-force algorithms are instantaneous on the hardest puzzles.
However, it does show how cool and versatile SAT solvers are for people who haven't used or seen them yet.