# z3 をインストール

z3 のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

```sh
sudo av install brew:z3
```

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install z3
```

  証拠: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install z3
```

  証拠: MacPorts ports tree: math/z3/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- apk (92%):

```sh
sudo apk add z3
```

  証拠: Alpine Linux edge package indexes: z3 from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- Debian apt (92%):

```sh
sudo apt install z3
```

  証拠: Debian stable package indexes: z3 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- dnf (92%):

```sh
sudo dnf install z3
```

  証拠: Fedora Rawhide package metadata: z3 from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

- Nix (92%):

```sh
nix profile install nixpkgs#z3
```

  証拠: nixpkgs package indexes: pkgs/by-name/z3/z3/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- pacman (92%):

```sh
sudo pacman -S z3
```

  証拠: Arch Linux sync databases: z3 from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- zypper (92%):

```sh
sudo zypper install z3
```

  証拠: openSUSE Tumbleweed package metadata: z3 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst

### Windows

- Scoop (92%):

```sh
scoop install main/z3
```

  証拠: Scoop official bucket manifest trees: bucket/z3.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

## パッケージ情報

- **パッケージキー:** brew:z3
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/z3>
- **バージョン:** 4.15.4
- **ソース概要:** High-performance theorem prover
- **ホームページ:** <https://github.com/Z3Prover/z3>
- **リポジトリ:** <https://github.com/Z3Prover/z3>
- **ライセンス:** MIT
- **ソースアーカイブ:** <https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.4.tar.gz>
- **更新:** 2026-03-20T18:56:30Z
- **生成ソース:** 2026-05-26T22:45:13+00:00

## 実行可能ファイル

- qprofdiff (cli)
- z3 (cli)
- qprofdiff (エイリアス)
- z3 (エイリアス)

## ビルド依存関係

- cmake
- python@3.14

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 鮮度

- ページ生成日: 2026-05-26
- マネージャ版: 4.15.4
- マネージャ更新日: 2026-03-20
- ローカルデータ: ok
- 上流リポジトリ: https://github.com/Z3Prover/z3
- 検出された最新: z3-4.15.4 (current)

## セキュリティノート

narrow executable package without higher-risk signals.

- **Geiger リスク:** green / low
- narrow executable package without higher-risk signals

## 関連リンク

- [python@3.14](https://www.automicvault.com/pkg/brew/python-3-14/) - Build dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [llvm](https://www.automicvault.com/pkg/brew/llvm/) - Popular package that depends on this formula.
- [solidity](https://www.automicvault.com/pkg/brew/solidity/) - Popular package that depends on this formula.
- [klee](https://www.automicvault.com/pkg/brew/klee/) - Popular package that depends on this formula.
- [symengine](https://www.automicvault.com/pkg/brew/symengine/) - Popular package that depends on this formula.
- [dafny](https://www.automicvault.com/pkg/brew/dafny/) - Popular package that depends on this formula.
- [alive2](https://www.automicvault.com/pkg/brew/alive2/) - Popular package that depends on this formula.
- [cryptol](https://www.automicvault.com/pkg/brew/cryptol/) - Popular package that depends on this formula.
- [civl](https://www.automicvault.com/pkg/brew/civl/) - Popular package that depends on this formula.
- [z](https://www.automicvault.com/pkg/brew/z/) - Package name indicates the same formula family.

## ソース

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph