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

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

Using z3

Loading ...