Maven · repo1.maven.org

tools.refinery.z3:refinery-z3-solver-darwin-aarch64

Large Native Blob

Why PkgRadar flagged 4.16.0

Severity	Signal	Evidence
medium	Large Native Blob	z3java-darwin-aarch64/libz3.dylib

Showing signal labels only. Sign in to view the exact matched indicators for each finding.

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`4.16.0`	Review	10	2026-06-21

Block this in CI

PkgRadar gates tools.refinery.z3:refinery-z3-solver-darwin-aarch64 (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem maven tools.refinery.z3:[email protected]