Reverse Dependencies of yices

The following projects have a declared dependency on yices:

• stlmc — An SMT-based bounded model checker for signal temporal logic
• sudokusensei — The SMT Sudoku Sensei