Automic VaultAutomic Vault

brew

使用 Homebrew, apt, dnf, Nix 安装 cadical

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

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install cadical

local Homebrew formula metadata

Linux

Debian apt已验证 · 92%
sudo apt install cadical

Debian stable package indexes · cadical · 来源: deb.debian.org

Fedora dnf已验证 · 92%
sudo dnf install cadical

Fedora Rawhide package metadata · cadical · 来源: dl.fedoraproject.org

Nix已验证 · 92%
nix profile install nixpkgs#cadical

nixpkgs package indexes · pkgs/by-name/ca/cadical/package.nix · 来源: api.github.com

概览

软件包摘要

Clean and efficient state-of-the-art SAT solver

命令和别名

  • cadical

历史

项目历史与用法

CaDiCaL is Armin Biere's clean, efficient CDCL SAT solver, packaged as both a command-line solver and libcadical.a. Its project goal is to stay understandable and easy to modify while remaining competitive with state-of-the-art solvers.

项目历史

The official FMV page presents CaDiCaL as a simplified satisfiability solver and records competition-oriented releases for SAT Competition 2017, SAT Competition 2018, SAT Race 2019, and SAT Competition 2020. The GitHub README explains that CaDiCaL aimed to be cleaner than prior solvers such as Lingeling while remaining fast.

CaDiCaL became a research and engineering platform as well as a solver binary. The README points to a C++ API header, test documentation, NEWS beginning with release 1.5.1, and a CaDiCaL 2.0 tool paper published at CAV 2024.

采用历史

Within the SAT community, CaDiCaL's adoption is tied to solver competitions and formal-methods tooling. The FMV page notes first place in the SAT track of SAT Race 2019 and second overall, and the Homebrew input shows packaging in Homebrew, Debian, Fedora, Nix, Ubuntu, and related Linux distributions.

使用方式

The command-line interface accepts DIMACS CNF input and an optional proof output path as cadical [ dimacs [ proof ] ]. Developers can also link against libcadical.a through the C++ API for embedding SAT solving in verification, synthesis, model checking, and solver research tools.

为什么软件包爱好者会关心

CaDiCaL is significant because SAT solvers are tiny-looking packages with deep performance consequences. A package update can affect formal verification, theorem proving, fuzzing, dependency solving, and academic benchmark results, so maintainers care about exact versions, compiler flags, proof support, and reproducibility.

时间线

  • 2017: CaDiCaL source is submitted to SAT Competition 2017.
  • 2018: A SAT Competition 2018 version is published.
  • 2019: CaDiCaL wins first place in the SAT track of SAT Race 2019 and second overall.
  • 2020: FMV publishes the SAT Competition 2020 source archive.
  • 2024: CaDiCaL 2.0 tool paper appears at CAV 2024.
  • 2025: GitHub releases list CaDiCaL 3.0.0.

Related projects

  • Related solvers and libraries include Lingeling, Kissat, MiniSAT-family solvers, IPASIR-compatible SAT integrations, and competition benchmark suites from SAT Race and SAT Competition.

安全态势

风险级别：绿色

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 个平台目标。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
cadicalcli全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-08
管理器版本3.0.0
管理器更新时间
本地数据OK
上游not checked
检测到的最新版本未检测到

https://github.com/arminbiere/cadical

安装元数据

软件包元数据

软件包键brew:cadical
版本3.0.0
软件包管理器Homebrew
软件包管理器页面https://formulae.brew.sh/formula/cadical
主页https://fmv.jku.at/cadical/
仓库https://github.com/arminbiere/cadical
上游文档https://fmv.jku.at/cadical
许可证MIT
源码归档https://github.com/arminbiere/cadical/archive/refs/tags/rel-3.0.0.tar.gz
Bottle可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定义
服务未声明

注册表事实

源数据库详情

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

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Debian apt95%

cadical 1.7.4-1+b1

Simplified Satisfiability Solver

http://fmv.jku.at/cadical/

sudo apt install cadical
  • Section: math
  • Architecture: amd64
  • Source Package: cadical
  • 3 依赖
  • normalized package name match
  • 匹配方式：Cadical
Debian stable package indexes · deb.debian.org · Debian stable package indexes: cadical from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

libcadical-dev 1.7.4-1+b1

Simplified Satisfiability Solver (development files)

http://fmv.jku.at/cadical/

sudo apt install libcadical-dev
  • Section: libdevel
  • Architecture: amd64
  • Source Package: cadical
  • normalized package name match
  • 匹配方式：Cadical
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libcadical-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

cadical

nix profile install nixpkgs#cadical
  • normalized package name match
  • 匹配方式：Cadical
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/ca/cadical/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

cadical 1.7.4-1

Simplified Satisfiability Solver

http://fmv.jku.at/cadical/

sudo apt install cadical
  • Section: universe/math
  • Architecture: amd64
  • 3 依赖
  • normalized package name match
  • 匹配方式：Cadical
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: cadical from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcadical-dev 1.7.4-1

Simplified Satisfiability Solver (development files)

http://fmv.jku.at/cadical/

sudo apt install libcadical-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: cadical
  • normalized package name match
  • 匹配方式：Cadical
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcadical-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
dnf95%

cadical 2.2.1-4.fc45

Simplified SAT solver

http://fmv.jku.at/cadical/

sudo dnf install cadical
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: cadical
  • 6 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：Cadical
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cadical from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

cadical-devel 2.2.1-4.fc45

Development files for cadical

http://fmv.jku.at/cadical/

sudo dnf install cadical-devel
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: cadical
  • 3 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Cadical
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cadical-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

cadical-libs 2.2.1-4.fc45

Simplified SAT solver library

http://fmv.jku.at/cadical/

sudo dnf install cadical-libs
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: cadical
  • 5 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Cadical
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cadical-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

软件包图谱

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

相同工作流

  • cryptominisatShares av.db curated category or tags: cli, sat-solver, satisfiability, science, solver.
  • depqbfShares av.db curated category or tags: cli, formal-methods, sat-solving, science, solver.
  • kissatShares av.db curated category or tags: cli, formal-methods, sat-solver, science.
  • z3Shares av.db curated category or tags: cli, formal-methods, science, solver.
  • acl2Shares av.db curated category or tags: cli, formal-methods, science.
  • cbcShares av.db curated category or tags: cli, 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