cmake Core examples

NASA-SW-VnV/ikos analyzer/CMakeLists.txt :113 

find_package(Core REQUIRED)