An attempt to write a MathDoku (a variant of the classical Sudoku) solver.