libz3
The Z3 Theorem Prover
Installation
To install this package, run one of the following:
Usage Tracking
4.15.8
4.15.7
4.15.5
4.15.4
4.15.3
5 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
The Z3 Theorem Prover
Last Updated
Feb 13, 2026 at 05:56
License
MIT
Total Downloads
3.2K
Version Downloads
91
Supported Platforms
win-64
linux-aarch64
linux-ppc64le
linux-64
macOS-64
macOS-arm64
GitHub Repository
https://github.com/Z3Prover/z3Documentation
https://github.com/Z3Prover/z3/wiki#background