Sudoku solver that contains several logical resolution methods, as well as brute force selection.