Simplify isEqual detection and hypothesis scheduling
Add a new sudoku, print a user friendly message when solver is not strong enugh ;)