Implementation of a Sudoku puzzle solver done purely in Java by translating a Sudoku puzzle into an equivalent SAT problem.