Home > Repositories > base > z3
Resources:
Source files | Changes
Issues | Add a new issue
Download

z3: A theorem prover from Microsoft Research

Z3 is a theorem prover from Microsoft Research.
Name:z3
Release: 4.16.0-1mamba
Group:System/Libraries
Maintainer:silvan
License:MIT
Size:4.74 MB
Upstream URL:https://github.com/Z3Prover
Build time:2026-02-19 12:05:40
Binary packages and requirements
x86_64aarch64i586
Built RPMSlibz3
libz3-devel
z3
z3-debug
libz3
libz3-devel
z3
z3-debug
libz3
libz3-devel
z3
z3-debug
Build requirementscmake [1]
glibc-devel [1]
libgcc [1]
libstdc++6-devel [1]
cmake [1]
glibc-devel [1]
libgcc [1]
libstdc++6-devel [1]
cmake [1]
glibc-devel [1]
libgcc [1]
libstdc++6-devel [1]
History of changes
DatePackagerReleaseDescription
2026-02-19Automatic Build System 4.16.0-1mamba- automatic version update by autodist
2026-02-13Automatic Build System 4.15.8-1mamba- automatic version update by autodist
2026-02-09Automatic Build System 4.15.7-1mamba- automatic version update by autodist
2026-02-09Automatic Build System 4.15.6-1mamba- automatic version update by autodist
2026-02-08Automatic Build System 4.15.5-1mamba- automatic version update by autodist
2025-10-30Automatic Build System 4.15.4-1mamba- automatic version update by autodist
2025-08-18Automatic Build System 4.15.3-1mamba- automatic version update by autodist
2025-06-26Automatic Build System 4.15.2-1mamba- automatic version update by autodist
2025-06-12Automatic Build System 4.15.1-1mamba- automatic version update by autodist
2025-05-12Automatic Build System 4.15.0-1mamba- automatic version update by autodist