Automic VaultAutomic Vault

brew

cryptominisat を Homebrew, apt, dnf, Nix, pacman でインストール

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

インストールコマンドセキュリティノート

インストール

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

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

概要

パッケージ概要

Advanced SAT solver

コマンドとエイリアス

  • cryptominisat5
  • oracle

履歴

プロジェクトの歴史と使われ方

CryptoMiniSat is an advanced SAT solver with command-line, C++ library, Python, C, and Rust-compatible interfaces. It is packaged for scientific and developer-tool ecosystems because SAT solvers are infrastructure for verification, optimization, cryptanalysis, model counting, and research workflows.

プロジェクトの歴史

The official homepage identifies CryptoMiniSat 5 as a modern, multi-threaded, feature-rich simplifying SAT solver and asks users to cite the project's SAT 2009 conference paper. The official GitHub repository was created in 2012 and continues to publish 5.x releases.

採用の歴史

CryptoMiniSat is distributed as release binaries, source builds, Nix shells, Python packages through pycryptosat, and distro packages. The supplied package metadata lists Homebrew, Debian, Fedora, Nix, Arch, and Ubuntu, which fits a solver used both interactively from the shell and embedded through library bindings.

使われ方

The command-line interface accepts DIMACS CNF input with XOR-clause extensions and is invoked as cryptominisat5. The README also documents incremental Python and C++ usage, including assumptions and repeated solve calls, which are important for users embedding the solver in larger verification or search programs.

パッケージ好きにとっての重要性

For packagers, CryptoMiniSat is a good example of research software that became routine infrastructure: it exposes a stable executable, a C++ API, Python wheels, and static-build options while depending on performance-sensitive native libraries such as GMP and zlib. Packaging quality directly affects whether downstream scientific tools can treat the solver as a dependable backend.

タイムライン

  • 2009: The project asks users to cite its SAT 2009 conference paper.
  • 2012: The official GitHub repository was created.
  • 2026: The official GitHub releases page shows active 5.14.x releases.

Related projects

  • CryptoMiniSat is part of the broader SAT-solver ecosystem and its README and homepage reference DIMACS CNF, SAT competition formats, pycryptosat, CaDiCaL-related dependencies, and MiniSat-adjacent techniques.

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
  • 1 件の実行時依存関係とともにインストールされます。
  • ビルドメタデータには 3 件のビルド依存関係があります。

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
cryptominisat5cliグローバル実行可能ファイル
oraclecliグローバル実行可能ファイル

鮮度

バージョンと鮮度

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

ページ生成日2026-07-10
マネージャ版5.14.7
マネージャ更新日2026-06-27
ローカルデータOK
上流最新
検出された最新release/v5.14.7

https://github.com/msoos/cryptominisat

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

インストールメタデータ

パッケージメタデータ

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

レジストリ情報

ソースデータベース詳細

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namecryptominisat
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Debian apt95%

cryptominisat 5.11.21+dfsg1-2

SAT solver command line interface

https://www.msoos.org/

sudo apt install cryptominisat
  • Section: math
  • Architecture: amd64
  • 5 依存関係
  • normalized package name match
  • 一致条件: Cryptominisat
Debian stable package indexes · deb.debian.org · Debian stable package indexes: cryptominisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libcryptominisat5-5.11t64 5.11.21+dfsg1-2

SAT solver library

https://www.msoos.org/

sudo apt install libcryptominisat5-5.11t64
  • Section: libs
  • Architecture: amd64
  • Source Package: cryptominisat
  • 3 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cryptominisat
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libcryptominisat5-5.11t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libcryptominisat5-dev 5.11.21+dfsg1-2

development files for the CryptoMiniSat SAT solver

https://www.msoos.org/

sudo apt install libcryptominisat5-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: cryptominisat
  • 1 依存関係
  • normalized package name match
  • 一致条件: Cryptominisat
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libcryptominisat5-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

python3-cryptominisat 5.11.21+dfsg1-2

Python bindings for the CryptoMiniSat SAT solver (Python 3)

https://www.msoos.org/

sudo apt install python3-cryptominisat
  • Section: python
  • Architecture: amd64
  • Source Package: cryptominisat
  • 4 依存関係
  • normalized package name match
  • 一致条件: Cryptominisat
Debian stable package indexes · deb.debian.org · Debian stable package indexes: python3-cryptominisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

cryptominisat

nix profile install nixpkgs#cryptominisat
  • normalized package name match
  • 一致条件: Cryptominisat
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/cr/cryptominisat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

cryptominisat 5.11.15+dfsg1-1.1build1

SAT solver command line interface

https://www.msoos.org/

sudo apt install cryptominisat
  • Section: universe/math
  • Architecture: amd64
  • 6 依存関係
  • normalized package name match
  • 一致条件: Cryptominisat
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: cryptominisat from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcryptominisat5-5.11t64 5.11.15+dfsg1-1.1build1

SAT solver library

https://www.msoos.org/

sudo apt install libcryptominisat5-5.11t64
  • Section: universe/libs
  • Architecture: amd64
  • Source Package: cryptominisat
  • 3 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cryptominisat
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcryptominisat5-5.11t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcryptominisat5-dev 5.11.15+dfsg1-1.1build1

development files for the CryptoMiniSat SAT solver

https://www.msoos.org/

sudo apt install libcryptominisat5-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: cryptominisat
  • 1 依存関係
  • normalized package name match
  • 一致条件: Cryptominisat
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcryptominisat5-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

python3-cryptominisat 5.11.15+dfsg1-1.1build1

Python bindings for the CryptoMiniSat SAT solver (Python 3)

https://www.msoos.org/

sudo apt install python3-cryptominisat
  • Section: universe/python
  • Architecture: amd64
  • Source Package: cryptominisat
  • 4 依存関係
  • normalized package name match
  • 一致条件: Cryptominisat
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: python3-cryptominisat from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
dnf95%

cryptominisat 5.14.5-2.fc45

SAT solver

https://www.msoos.org/

sudo dnf install cryptominisat
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: cryptominisat
  • 10 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Cryptominisat
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cryptominisat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

cryptominisat-devel 5.14.5-2.fc45

Header files for developing with cryptominisat

https://www.msoos.org/

sudo dnf install cryptominisat-devel
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: cryptominisat
  • 6 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Cryptominisat
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cryptominisat-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

cryptominisat-libs 5.14.5-2.fc45

Cryptominisat library

https://www.msoos.org/

sudo dnf install cryptominisat-libs
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: cryptominisat
  • 8 依存関係
  • 4 提供
  • normalized package name match
  • 一致条件: Cryptominisat
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cryptominisat-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

python3-pycryptosat 5.14.5-2.fc45

Python 3 interface to cryptominisat

https://www.msoos.org/

sudo dnf install python3-pycryptosat
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: cryptominisat
  • 7 依存関係
  • 5 提供
  • normalized package name match
  • 一致条件: Cryptominisat
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: python3-pycryptosat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
pacman95%

cryptominisat 5.14.5-1

A modern, multi-threaded, feature-rich, simplifying SAT solver

https://github.com/msoos/cryptominisat/

sudo pacman -S cryptominisat
  • License: MIT
  • Architecture: x86_64
  • 5 依存関係
  • 1 任意依存関係
  • normalized package name match
  • 一致条件: Cryptominisat
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: cryptominisat from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

パッケージグラフ

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

関連ツール

  • cmakeBuild dependency declared by Homebrew.
  • pkgconfBuild dependency declared by Homebrew.
  • python@3.14Build dependency declared by Homebrew.
  • kleePopular package that depends on this formula.
  • stpPopular package that depends on this formula.

同じワークフロー

  • cadicalShares av.db curated category or tags: cli, sat-solver, satisfiability, science, solver.
  • cbcShares av.db curated category or tags: cli, optimization, science, solver.
  • clpShares av.db curated category or tags: cli, optimization, science, solver.
  • ipoptShares av.db curated category or tags: cli, optimization, science, solver.
  • kissatShares av.db curated category or tags: boolean-satisfiability, cli, sat-solver, science.
  • lp_solveShares av.db curated category or tags: cli, optimization, science, solver.

エージェント安全ガイド

ソース経路

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

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment