add_cmake_project(z3 URL https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.0.zip URL_HASH SHA256=81543736dcbbbcb037a7df55d0be596245d509f3f69f56610df32728e48ee050 CMAKE_ARGS -DCMAKE_POSITION_INDEPENDENT_CODE=ON -DZ3_INCLUDE_GIT_HASH=OFF -DZ3_INCLUDE_GIT_DESCRIBE=OFF -DZ3_USE_LIB_GMP=OFF -DZ3_BUILD_LIBZ3_SHARED=OFF -DZ3_ENABLE_EXAMPLE_TARGETS=OFF -DZ3_ALWAYS_BUILD_DOCS=OFF -DZ3_BUILD_EXECUTABLE=OFF -DZ3_BUILD_TEST_EXECUTABLES=OFF )