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
20
Commits
1
Branch
27
Tags
Go to file
Code
Clone
HTTPS
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Automatic Build System
5822cc20eb
automatic version update by autodist [release 4.8.17-1mamba;Fri May 06 2022]
2024-01-05 20:02:38 +01: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.8.17-1mamba;Fri May 06 2022]
2024-01-05 20:02:38 +01:00
README.md
z3
Z3 is a theorem prover from Microsoft Research.
Description
A theorem prover from Microsoft Research
https://github.com/Z3Prover
Readme
76
KiB
Languages
RPM Spec
100%
