z3-solver
The Z3 Theorem Prover
Installation
To install this package, run one of the following:
Installation commands are not available for this package.
Usage Tracking
latest
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
The Z3 Theorem Prover
Last Updated
Feb 19, 2026 at 09:26
License
MIT
GitHub Repository
https://github.com/Z3Prover/z3Documentation
https://github.com/Z3Prover/z3/wiki#background