A Sudoku solver using Minisat.