A solution to ShortestSudokuSolver (211 characters plus 2 newlines):
A slightly longer version (214 characters plus 2 newlines):
The expected output is:
To make the function stop as soon as it finds the first solution (proper puzzles will only have one solution), the else becomes:
Labels