add a sudoku solver as a sample of ToySolver.SAT