This website requires JavaScript.
Explore
Help
Sign In
rpms
/
z3
Watch
3
Star
0
Fork
0
You've already forked z3
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Clone of
https://src.fedoraproject.org/rpms/z3
101
Commits
24
Branches
0
Tags
302
KiB
Diff
100%
d607dff554
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
Python Maint
d607dff554
Rebuilt for Python 3.11
2022-06-20 10:45:53 +02:00
.gitignore
Put cmake files in the lookaside cache instead of in git.
2020-05-15 10:42:32 -06:00
README.md
Version 4.8.13.
2021-11-19 12:28:26 -07:00
sources
Version 4.8.17. Drop upstreamed -ambiguous-overload patch.
2022-05-19 11:32:13 -06:00
z3-python.patch
Fix the python interface (bz 1910923).
2020-12-26 07:44:31 -07:00
z3.spec
Rebuilt for Python 3.11
2022-06-20 10:45:53 +02:00
README.md
z3
Z3
is a theorem prover from Microsoft Research. If you are not familiar with Z3, you can start
here
.