Conan Center has stopped receiving updates for Conan 1.x packages. A new https://center2.conan.io Conan 2-only remote is now available. Read the blog post

z3/4.13.0

The Z3 Theorem Prover
Recipe info
2024-03-20

Available packages
Linux
Windows
macOS
macOS Apple Silicon

Install
Add the following line to your conanfile.txt:
[requires]
z3/4.13.0

Using z3

Loading ...
Loading...