# z3 4.16.0

The Z3 Theorem Prover

Snapshot of gominimal/pkgs commit `cd4b09dd2f492c47fba70eb1b8a8c724dabdc7e9` (pushed 2026-07-10T23:16:55.000Z).

## Install

```sh
min add z3
```

## Direct advisories

None at this commit.

## Transitive advisories

5 advisories inherited through runtime dependencies:

- CVE-2026-4046 (HIGH) via glibc
- CVE-2026-4437 (HIGH) via glibc
- CVE-2026-4438 (MEDIUM) via glibc
- CVE-2026-5450 (CRITICAL) via glibc
- CVE-2026-5928 (HIGH) via glibc

## Dependencies

- Build (5): base, cmake, make, python, toolchain
- Runtime (2): glibc, gcc

## Scorecard

| Category | Score | Band |
| --- | --- | --- |
| supply-chain | 52 | mid |
| advisories | 10 | low |
| quality | 8 | low |
| maintenance | 50 | mid |
| licence | 90 | good |

## Links

- Package page (HTML): https://minimal.dev/pkgs/z3
- JSON API (floats latest): https://minimal.dev/api/pkgs/z3.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/z3/sbom.json