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.15.3-1mamba
Group:System/Libraries
Maintainer:silvan
License:MIT
Size:4.55 MB
Upstream URL:https://github.com/Z3Prover
Build time:2025-08-18 14:10:33
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
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
2025-03-11Automatic Build System 4.14.1-1mamba- automatic version update by autodist
2025-02-19Automatic Build System 4.14.0-1mamba- automatic version update by autodist
2024-12-17Automatic Build System 4.13.4-1mamba- automatic version update by autodist
2024-10-12Automatic Build System 4.13.3-1mamba- automatic version update by autodist
2024-10-05Automatic Build System 4.13.2-1mamba- automatic version update by autodist
2024-03-08Automatic Build System 4.13.0-1mamba- automatic version update by autodist