A solution to ShortestSudokuSolver (210 characters plus 2 newlines):
A slightly longer version (213 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