cmake Yices2 examples

seahorn/seahorn CMakeLists.txt :166 

find_package(Yices2 2.6.0)