Solve sudoku puzzles using miniSAT