mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-04 15:03:57 +00:00
Code Activity

Update README-CMake.md

Browse source 
Co-authored-by: gonzalobg <65027571+gonzalobg@users.noreply.github.com>
This commit is contained in:
Nikolaj Bjorner 2025-08-27 08:44:57 -07:00 • committed by GitHub
parent 92c3f32f08
commit a6a4ed5ea8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README-CMake.md
View file

@ -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. 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 ```cmake
set(Z3_MIN_VERSION "4.12.1") set(Z3_MIN_VERSION "4.15.3")
# First, try to find Z3 on the system # First, try to find Z3 on the system
find_package(Z3 ${Z3_MIN_VERSION} CONFIG QUIET) find_package(Z3 ${Z3_MIN_VERSION} CONFIG QUIET)