Home > Repositories > base > z3
Z3 is a theorem prover from Microsoft Research.
z3: A theorem prover from Microsoft Research
Z3 is a theorem prover from Microsoft Research.
| Name: | z3 |
| Release: | 4.13.3-1mamba |
| Group: | System/Libraries |
| Maintainer: | silvan |
| License: | MIT |
| Size: | 4.27 MB |
| Upstream URL: | https://github.com/Z3Prover |
| Build time: | 2024-10-12 18:47:53 |
Binary packages and requirements
| x86_64 | aarch64 | i586 | |
|---|---|---|---|
| Built RPMS | libz3 libz3-devel z3 z3-debug | libz3 libz3-devel z3 z3-debug | libz3 libz3-devel z3 z3-debug |
| Build requirements | cmake [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
| Date | Packager | Release | Description |
|---|---|---|---|
| 2024-10-12 | Automatic Build System | 4.13.3-1mamba | - automatic version update by autodist |
| 2024-10-05 | Automatic Build System | 4.13.2-1mamba | - automatic version update by autodist |
| 2024-03-08 | Automatic Build System | 4.13.0-1mamba | - automatic version update by autodist |
| 2024-02-27 | Automatic Build System | 4.12.6-1mamba | - automatic version update by autodist |
| 2024-01-22 | Automatic Build System | 4.12.5-1mamba | - automatic version update by autodist |
| 2023-12-07 | autodist | 4.12.4-1mamba | - automatic version update by autodist |
| 2023-12-06 | autodist | 4.12.3-1mamba | - automatic version update by autodist |
| 2023-05-13 | autodist | 4.12.2-1mamba | - automatic version update by autodist |
| 2023-01-22 | autodist | 4.12.1-1mamba | - automatic version update by autodist |
| 2023-01-15 | autodist | 4.12.0-1mamba | - automatic version update by autodist |
