This sudoku solver uses three steps. First, it attempts to solve using direct logical inference - e.g. what you or I might try. If that fails, it then assumes it might be blocked by an advanced technique and guesses one number before trying the direct approach again. If all possible one-number guesses are exhausted, it turns to brute forcing the puzzle by trying all combinations.