rpms/z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 1 Branch 28 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Automatic Build System 87ec5f6476 Initial commit
2024-01-05 20:02:34 +01:00
README.md
Initial commit
2024-01-05 20:02:34 +01:00

README.md

z3

Description
A theorem prover from Microsoft Research
https://github.com/Z3Prover
Readme 78 KiB
Languages
RPM Spec 100%