ConanCenter
FAQ
Docs
Blog
Downloads
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
prover
satisfiability
smt
solver
theorem
z3
Use it
Loading...
Packages
Dependencies
Loading...
Versions
Badges
Recipe info
MIT
View recipe on GitHub
github.com/Z3Prover/z3
2024-03-20
9d9341f8d21a122ff05...
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...