Super duper Sudoku solver. Handles normal ones as well as the 'NRC' variation with the four extra squares.
The Java version is very smart but currently has no GUI, only command-line.
The Python version currently only does simple eliminations but has a little UI.