c72578/z3

Project ID: 32099

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 30 i386 (0)*, x86_64 (0)* Fedora 30 (3 downloads)
Fedora 31 x86_64 (0)* Fedora 31 (4 downloads)
Fedora 32 x86_64 (0)* Fedora 32 (3 downloads)
Fedora rawhide x86_64 (0)* Fedora rawhide (3 downloads)

* Total number of packages downloaded in the last seven days.