A sudoku solver to illustrate the new yices python API - View it on GitHub