A GUI front-end for the SMT solver Yices - specifically setup to solve Sudoku puzzles.