cmake cryptominisat5 examples

stp/stp CMakeLists.txt :507 

find_package(cryptominisat5 CONFIG)