SAT-Solver Herein lives a SAT solver that plays sudoku among other games. Aljbawi, Azar, and Kipperman