cmake STP examples

stp/stp examples/simple/CMakeLists.txt :27 

find_package(STP REQUIRED)

klee/klee cmake/find_stp.cmake :15 

find_package(STP CONFIG)