macOS
Homebrewverified · 100%
brew install cadicallocal Homebrew formula metadata
brew
Install cadical with Homebrew, apt, dnf, Nix
Clean and efficient state-of-the-art SAT solver. Version 3.0.0 via Homebrew; verified from local package data.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install cadicalDebian stable package indexes · cadical · source: deb.debian.org
Fedora dnfverified · 92%
sudo dnf install cadicalFedora Rawhide package metadata · cadical · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#cadicalnixpkgs package indexes · pkgs/by-name/ca/cadical/package.nix · source: api.github.com
overview
Package summary
Clean and efficient state-of-the-art SAT solver
Project links
Commands and aliases
- cadical
history
Project history and usage
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.
Project history
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.
Adoption history
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.
How it is used
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.
Why package nerds care
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.
Timeline
- 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.
Sources
security posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
cadical | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version3.0.0
manager updated
local dataok
upstreamnot checked
latest detectednot detected
https://github.com/arminbiere/cadical
- infoNo package-manager update timestamp was available.low confidence
- infoNo cached GitHub release or tag data was available.https://github.com/arminbiere/cadicalnone confidence
install metadata
Package metadata
| Package key | brew:cadical |
|---|---|
| Version | 3.0.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/cadical |
| Homepage | https://fmv.jku.at/cadical/ |
| Repository | https://github.com/arminbiere/cadical |
| Upstream docs | https://fmv.jku.at/cadical |
| License | MIT |
| Source archive | https://github.com/arminbiere/cadical/archive/refs/tags/rel-3.0.0.tar.gz |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | cadical |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
cadical 1.7.4-1+b1
Simplified Satisfiability Solver
sudo apt install cadical- Section: math
- Architecture: amd64
- Source Package: cadical
- 3 dependencies
- normalized package name match
- Matched by: Cadical
Debian apt95%
libcadical-dev 1.7.4-1+b1
Simplified Satisfiability Solver (development files)
sudo apt install libcadical-dev- Section: libdevel
- Architecture: amd64
- Source Package: cadical
- normalized package name match
- Matched by: Cadical
Nix95%
cadical
nix profile install nixpkgs#cadical- normalized package name match
- Matched by: Cadical
Ubuntu apt95%
cadical 1.7.4-1
Simplified Satisfiability Solver
sudo apt install cadical- Section: universe/math
- Architecture: amd64
- 3 dependencies
- normalized package name match
- Matched by: Cadical
Ubuntu apt95%
libcadical-dev 1.7.4-1
Simplified Satisfiability Solver (development files)
sudo apt install libcadical-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: cadical
- normalized package name match
- Matched by: Cadical
dnf95%
cadical 2.2.1-4.fc45
Simplified SAT solver
sudo dnf install cadical- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: cadical
- 6 dependencies
- 1 provides
- normalized package name match
- Matched by: Cadical
dnf95%
cadical-devel 2.2.1-4.fc45
Development files for cadical
sudo dnf install cadical-devel- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: cadical
- 3 dependencies
- 2 provides
- normalized package name match
- Matched by: Cadical
dnf95%
cadical-libs 2.2.1-4.fc45
Simplified SAT solver library
sudo dnf install cadical-libs- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: cadical
- 5 dependencies
- 2 provides
- normalized package name match
- Matched by: Cadical
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- 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