From a6a4ed5ea8af81c8b2108d96be746bc77f782808 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 27 Aug 2025 08:44:57 -0700 Subject: [PATCH] Update README-CMake.md Co-authored-by: gonzalobg <65027571+gonzalobg@users.noreply.github.com> --- README-CMake.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README-CMake.md b/README-CMake.md index 978d5dae7..93cf00e7b 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -171,7 +171,7 @@ The `find_package(Z3 CONFIG)` approach uses Z3's provided `Z3Config.cmake` file, This approach combines the benefits of both methods above: it uses a system-installed Z3 if available and meets the minimum version requirement, otherwise falls back to fetching Z3 from the repository. This is often the most practical approach for projects. ```cmake -set(Z3_MIN_VERSION "4.12.1") +set(Z3_MIN_VERSION "4.15.3") # First, try to find Z3 on the system find_package(Z3 ${Z3_MIN_VERSION} CONFIG QUIET)