rpms/z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
A theorem prover from Microsoft Research https://github.com/Z3Prover
2 Commits 1 Branch 26 Tags 74 KiB
RPM Spec 100%
4.5.0.20171128git-1mamba
Go to file
Silvan Calarco 26ed4db25b update to 4.5.0.20171128git [release 4.5.0.20171128git-1mamba;Tue Nov 28 2017]
2024-01-05 20:02:37 +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 update to 4.5.0.20171128git [release 4.5.0.20171128git-1mamba;Tue Nov 28 2017] 2024-01-05 20:02:37 +01:00

README.md

z3

Z3 is a theorem prover from Microsoft Research.