cmake metaSMT examples

klee/klee cmake/find_metasmt.cmake :9 

find_package(metaSMT QUIET CONFIG)