cmake Z3 examples

prusa3d/PrusaSlicer src/libseqarrange/CMakeLists.txt :1 

find_package(Z3 REQUIRED)

emsec/hal cmake/detect_dependencies.cmake :295 

find_package(Z3 REQUIRED)

GoSSIP-SJTU/TripleDoggy tools/clang/CMakeLists.txt :416 

find_package(Z3 4.5)

llvm/circt CMakeLists.txt :452 

find_package(Z3 CONFIG REQUIRED PATHS ${Z3_DIR} NO_DEFAULT_PATH)

root-project/root interpreter/llvm-project/llvm/CMakeLists.txt :555 

find_package(Z3 4.7.1)

qtfreet00/llvm-obfuscator tools/clang/CMakeLists.txt :189 

find_package(Z3 4.5)

yrnkrn/zapcc tools/clang/CMakeLists.txt :409 

find_package(Z3 4.5)

klee/klee cmake/find_z3.cmake :11 

find_package(Z3)

eclipse-xacc/xacc quantum/plugins/placement/CMakeLists.txt :6 

find_package(Z3)

NVIDIA/MDL-SDK src/mdl/jit/llvm/dist/CMakeLists.txt :356 

find_package(Z3 4.7.1)

AliveToolkit/alive2 CMakeLists.txt :73 

find_package(Z3 4.8.5 REQUIRED)

yazhiwang/ollvm-tll tools/clang/CMakeLists.txt :407 

find_package(Z3 4.5)

Lewuathe/mlir-hello thirdparty/llvm-project/llvm/CMakeLists.txt :590 

find_package(Z3 4.8.9)

o2e/OLLVM-9.0.1 CMakeLists.txt :343 

find_package(Z3 4.7.1)

Z3Prover/z3 examples/c/CMakeLists.txt :14 

find_package(Z3
  REQUIRED
  CONFIG
  # `NO_DEFAULT_PATH` is set so that -DZ3_DIR has to be passed to find Z3.
  # This should prevent us from accidentally picking up an installed
  # copy of Z3. This is here to benefit Z3's build system when building
  # this project. When making your own project you probably shouldn't
  # use this option.
  NO_DEFAULT_PATH
)

GANGE666/xVMP src/tools/clang/CMakeLists.txt :416 

find_package(Z3 4.7.1)

seahorn/seahorn CMakeLists.txt :150 

find_package(Z3 4.8.9)