インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:cryptominisat

macOS

Homebrew 確認済み · 100%

brew install cryptominisat

local Homebrew formula metadata

Linux

Debian apt 確認済み · 92%

sudo apt install cryptominisat

Debian stable package indexes · cryptominisat · ソース: deb.debian.org

Fedora dnf 確認済み · 92%

sudo dnf install cryptominisat

Fedora Rawhide package metadata · cryptominisat · ソース: dl.fedoraproject.org

Nix 確認済み · 92%

nix profile install nixpkgs#cryptominisat

nixpkgs package indexes · pkgs/by-name/cr/cryptominisat/package.nix · ソース: api.github.com

Arch Linux pacman 確認済み · 92%

sudo pacman -S cryptominisat

Arch Linux sync databases · cryptominisat · ソース: geo.mirror.pkgbuild.com

パッケージマネージャソース

https://formulae.brew.sh/formula/cryptominisat

プラットフォームノート

パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Automic Vault は、cryptominisat のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://www.msoos.org/cryptominisat5/

コマンドとエイリアス

cryptominisat5
oracle

ソース概要

Advanced SAT solver

セキュリティ状態

リスクレベル: green

narrow executable package without higher-risk signals.

リスク分類器

green リスク · low 信頼度 · appliance

理由

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
1 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 3 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`cryptominisat5`	cli	global executable
`oracle`	cli	global executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-05-26

マネージャ版5.14.5

マネージャ更新日2026-05-24

ローカルデータok

上流current

検出された最新release/v5.14.5

https://github.com/msoos/cryptominisat

ok鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:cryptominisat
バージョン	5.14.5
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/cryptominisat
ホームページ	https://www.msoos.org/cryptominisat5/
リポジトリ	https://github.com/msoos/cryptominisat
上流ドキュメント	https://www.msoos.org/cryptominisat5/
ライセンス	MIT
ソースアーカイブ	https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.14.5.tar.gz
更新	2026-05-24T23:50:40Z
Pulse	updated
依存関係	gmp
ビルド依存関係	cmake, pkgconf, python@3.14
Bottle	利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。

使用ソース

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

cryptominisat をインストール