Automic VaultAutomic Vault

brew

使用 Homebrew, apt, dnf, Nix, pacman 安装 cryptominisat

查看 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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

相关工具

  • 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.

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • 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