The solver is now functional, able to solve even hard sudoku problems.