This website requires JavaScript.
Explore
Help
Register
Sign In
rpms
/
z3
Watch
2
Star
0
Fork
0
You've already forked z3
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
A theorem prover from Microsoft Research
https://github.com/Z3Prover
27
Commits
1
Branch
26
Tags
74
KiB
RPM Spec
100%
d5ecedc458
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Cite this repository
APA
BibTeX
Cancel
Automatic Build System
d5ecedc458
automatic version update by autodist [release 4.13.3-1mamba;Sat Oct 12 2024]
2024-10-12 21:15:51 +02:00
README.md
update to 4.5.0.20171128git [release 4.5.0.20171128git-1mamba;Tue Nov 28 2017]
2024-01-05 20:02:37 +01:00
z3.spec
automatic version update by autodist [release 4.13.3-1mamba;Sat Oct 12 2024]
2024-10-12 21:15:51 +02:00
README.md
z3
Z3 is a theorem prover from Microsoft Research.