Z3Prover/z3
GitHub
Releases58
Frequency2 months 3 weeks
Last Release
Stars12.3K
The Z3 Theorem Prover
Collections containing this project
Showing collections based on your access.
This project is not in any collections you can view.
Showing collections based on your access.