# 安装 cryptominisat

查看 cryptominisat 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:cryptominisat
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install cryptominisat
```

  证据: local Homebrew formula metadata

### Linux

- Debian apt (92%):

```sh
sudo apt install cryptominisat
```

  证据: Debian stable package indexes: cryptominisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- dnf (92%):

```sh
sudo dnf install cryptominisat
```

  证据: Fedora Rawhide package metadata: cryptominisat 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#cryptominisat
```

  证据: nixpkgs package indexes: pkgs/by-name/cr/cryptominisat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- pacman (92%):

```sh
sudo pacman -S cryptominisat
```

  证据: Arch Linux sync databases: cryptominisat from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

## 软件包事实

- **软件包键:** brew:cryptominisat
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/cryptominisat>
- **版本:** 5.14.5
- **来源摘要:** Advanced SAT solver
- **主页:** <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
- **生成来源:** 2026-05-26T22:45:13+00:00

## 可执行文件

- cryptominisat5 (cli)
- oracle (cli)
- cryptominisat5 (别名)
- oracle (别名)

## 依赖

- gmp

## 构建依赖

- cmake
- pkgconf
- python@3.14

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 新鲜度

- 页面生成时间: 2026-05-26
- 管理器版本: 5.14.5
- 管理器更新时间: 2026-05-24
- 本地数据: ok
- 上游仓库: https://github.com/msoos/cryptominisat
- 检测到的最新版本: release/v5.14.5 (current)

## 安全说明

narrow executable package without higher-risk signals.

- **Geiger 风险:** green / low
- narrow executable package without higher-risk signals

## 相关链接

- [gmp](https://www.automicvault.com/pkg/brew/gmp/) - Runtime dependency declared by Homebrew.
- [python@3.14](https://www.automicvault.com/pkg/brew/python-3-14/) - Build dependency declared by Homebrew.
- [pkgconf](https://www.automicvault.com/pkg/brew/pkgconf/) - Build dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [stp](https://www.automicvault.com/pkg/brew/stp/) - Popular package that depends on this formula.
- [klee](https://www.automicvault.com/pkg/brew/klee/) - Popular package that depends on this formula.

## 来源

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