Java Google OR-Tools CP-SAT Sudoku solver Run Sudoku.main(). Implemented using Google OR-Tools CP-SAT Solver.