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.14.1

The Z3 Theorem Prover
proversatisfiabilitysmtsolvertheoremz3
Recipe info
MIT
View recipe on GitHub
github.com/Z3Prover/z3
2025-04-09
1139681f0944e4fc72a...
Available packages
Linux
Windows
macOS
macOS Apple Silicon
Install
Add the following line to your conanfile.txt:
[requires]
z3/4.14.1

Using z3

Loading ...