Reverse Dependencies of yices

The following projects have a declared dependency on yices:

• sudokusensei — The SMT Sudoku Sensei