Description
2020-05-14 Build rpms of Z3 version z3-4.8.8, which include cmake files, so that Z3 can be found using find_package(Z3)
Installation Instructions
Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
| Release | Architectures | Repo Download |
|---|---|---|
Fedora 36
|
x86_64 (1)* | Fedora 36 (0 downloads) |
|
Fedora 37
|
x86_64 (17)* | Fedora 37 (14 downloads) |
|
Fedora 38
|
x86_64 (11)* | Fedora 38 (6 downloads) |
|
Fedora 39
|
x86_64 (0)* | Fedora 39 (2 downloads) |
|
Fedora rawhide
|
x86_64 (11)* | Fedora rawhide (41 downloads) |
* Total number of packages downloaded in the last seven days.