Package z3: Information
Source package: z3
Version: 4.8.8-alt1.1
Build time: Jan 25, 2024, 11:03 PM in the task #339017
Category: Sciences/Mathematics
Report package bugHome page: https://github.com/Z3Prover/z3
License: MIT
Summary: High-performance theorem prover
Description:
Z3 is a high-performance theorem prover being developed at Microsoft Research.
List of rpms provided by this srpm:
libz3 (x86_64, ppc64le, i586, armh, aarch64)
libz3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libz3-devel (x86_64, ppc64le, i586, armh, aarch64)
libz3-devel-docs (x86_64, ppc64le, i586, armh, aarch64)
python3-module-z3 (noarch)
z3 (x86_64, ppc64le, i586, armh, aarch64)
z3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libz3 (x86_64, ppc64le, i586, armh, aarch64)
libz3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libz3-devel (x86_64, ppc64le, i586, armh, aarch64)
libz3-devel-docs (x86_64, ppc64le, i586, armh, aarch64)
python3-module-z3 (noarch)
z3 (x86_64, ppc64le, i586, armh, aarch64)
z3-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
Maintainer: Grigory Ustinov
Last changed
Jan. 25, 2024 Grigory Ustinov 4.8.8-alt1.1
- NMU: Fixed FTBFS.
July 10, 2020 Aleksei Nikiforov 4.8.8-alt1
- Updated to upstream version 4.8.8.
April 2, 2020 Aleksei Nikiforov 4.8.7-alt1
- Updated to upstream version 4.8.7. - Disabled bindings for python-2.