Automic Vault
brew-Paketinformationen
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für z3 in AI-Agent-Workflows.
Installation
sudo av install brew:z3brew install z3
local Homebrew formula metadata
sudo port install z3
MacPorts ports tree · math/z3/Portfile · Quelle: api.github.com
sudo apk add z3
Alpine Linux edge package indexes · z3 · Quelle: dl-cdn.alpinelinux.org
sudo apt install z3
Debian stable package indexes · z3 · Quelle: deb.debian.org
sudo dnf install z3
Fedora Rawhide package metadata · z3 · Quelle: dl.fedoraproject.org
nix profile install nixpkgs#z3
nixpkgs package indexes · pkgs/by-name/z3/z3/package.nix · Quelle: api.github.com
sudo pacman -S z3
Arch Linux sync databases · z3 · Quelle: geo.mirror.pkgbuild.com
sudo zypper install z3
openSUSE Tumbleweed package metadata · z3 · Quelle: download.opensuse.org
scoop install main/z3
Scoop official bucket manifest trees · bucket/z3.json · Quelle: api.github.com
Überblick
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für z3 aus lokalen Paketdaten.
High-performance theorem prover
Sicherheitslage
narrow executable package without higher-risk signals.
green Risiko · low Konfidenz · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
qprofdiff | cli | global executable | |
z3 | cli | global executable |
Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
https://github.com/Z3Prover/z3
Installationsmetadaten
| Paketschlüssel | brew:z3 |
|---|---|
| Version | 4.15.4 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/z3 |
| Homepage | https://github.com/Z3Prover/z3 |
| Repository | https://github.com/Z3Prover/z3 |
| Lizenz | MIT |
| Quellarchiv | https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.4.tar.gz |
| Aktualisiert | 2026-03-20T18:56:30Z |
| Pulse | updated |
| Build-Abhängigkeiten | cmake, python@3.14 |
| Bottle | verfügbar (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Quellspur
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.