Automic Vault
Renseignements sur le paquet brew
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de z3 pour les workflows d'agents IA.
installation
sudo av install brew:z3brew install z3
local Homebrew formula metadata
sudo port install z3
MacPorts ports tree · math/z3/Portfile · source: api.github.com
sudo apk add z3
Alpine Linux edge package indexes · z3 · source: dl-cdn.alpinelinux.org
sudo apt install z3
Debian stable package indexes · z3 · source: deb.debian.org
sudo dnf install z3
Fedora Rawhide package metadata · z3 · source: dl.fedoraproject.org
nix profile install nixpkgs#z3
nixpkgs package indexes · pkgs/by-name/z3/z3/package.nix · source: api.github.com
sudo pacman -S z3
Arch Linux sync databases · z3 · source: geo.mirror.pkgbuild.com
sudo zypper install z3
openSUSE Tumbleweed package metadata · z3 · source: download.opensuse.org
scoop install main/z3
Scoop official bucket manifest trees · bucket/z3.json · source: api.github.com
aperçu
Automic Vault publie les chemins d'installation, les faits d'exécutables et les métadonnées de sécurité propres à z3 depuis les données locales de paquets.
High-performance theorem prover
posture de sécurité
narrow executable package without higher-risk signals.
green risque · low confiance · appliance
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
| Commande | Type | Exposition | Note |
|---|---|---|---|
qprofdiff | cli | global executable | |
z3 | cli | global executable |
fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
https://github.com/Z3Prover/z3
métadonnées d'installation
| Clé du paquet | brew:z3 |
|---|---|
| Version | 4.15.4 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/z3 |
| Page d'accueil | https://github.com/Z3Prover/z3 |
| Dépôt | https://github.com/Z3Prover/z3 |
| Licence | MIT |
| Archive source | https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.4.tar.gz |
| Mis à jour | 2026-03-20T18:56:30Z |
| Pulse | updated |
| Dépendances de compilation | cmake, python@3.14 |
| Bouteille | disponible (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
piste source
Cette page est écrite par scripts/generate-pkg-pages.py. Les déploiements refusent de publier si www/pkg/ est obsolète par rapport aux données locales de paquets.