Theorem prover from Microsoft Research.
提供元による説明（英語）
z3とは
z3は、「ターミナル・CLIツール」に分類されるオープンソースのWindowsソフトです。
インストールと動作環境
提供元は64ビット、ARM64、32ビット版のポータブルインストーラーを配布しています。インストールせずにそのまま実行できます（ポータブル版）。
人気と対応ファイル形式
Chocolateyパッケージのダウンロード数は16,496回です。似たソフトにはPowerShell、QPDF、Oh My Poshなどがあります。
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ARM版Windows向けのネイティブARM64版がある
- ポータブル版でインストール不要
まとめ: z3は、「ターミナル・CLIツール」に分類されるオープンソースのWindowsソフトです。64ビット、ARM64、32ビットのPCで使えます。
z3のダウンロードは安全ですか？
- ファイルは提供元のドメイン（github.com）から配信されています
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· このハッシュのVirusTotalレポートを開く - リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
最近のバージョン
全1バージョン ›コマンドラインでインストール
サイレントインストール ›PowerShell
choco
choco install z3 -yscoop
scoop install main/z3プログラムファイル（.exe）: z3.exe
関連ガイド: wingetの使い方：アプリのインストールと更新
ほかのOS向け
macOS（Homebrew）
brew install z3情報
- カテゴリ
- ターミナル・CLIツール
- ライセンス
- MIT
- 価格
- 無料
- ソースコード
- github.com
- 動作環境
- Windows 11 / 10
- アーキテクチャ
- 64ビット, ARM64, 32ビット
- インストーラー
- ポータブル
- バージョン
- 5.3.1
- 掲載バージョン数
- 1
- Chocolateyダウンロード数
- 16,496
- 公式サイト
- github.com
- Chocolateyパッケージ
- z3
- Scoopパッケージ
- main/z3
評価とレビュー
–
0件の評価
50
40
30
20
10
まだレビューはありません。最初の評価を投稿してください。
z3の代替ソフト
すべて表示 ›-
オープンソース69万 ↓ -
オープンソース212.9万 ↓ -
オープンソース82.1万 ↓ -
オープンソース148.4万 ↓ -
オープンソース526.8万 ↓ -
オープンソース7.6万 ↓ -
オープンソース29万 ↓ -
オープンソース11.3万 ↓
よくある質問
z3は無料ですか？
はい。z3はオープンソースのソフトです（MITライセンス）。
z3のダウンロードは安全ですか？
ファイルはgithub.comから配信されます。github.comは提供元のドメインです。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
z3はARM版Windows（Windows on Arm）で動きますか？
はい。ネイティブのARM64版インストーラーがあります。
z3は管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。
z3の代わりになるソフトは？
PowerShell、QPDF、Oh My Posh、yq、PuTTYなどがあります。代替ソフトのページで比較できます。
