pkg.soopen package index

brew / rank 6056

Install cadical with Homebrew, apt, dnf, Nix

Clean and efficient state-of-the-art SAT solver. Version 3.0.1 via Homebrew; verified 2026-07-19. Also installable with debian: sudo apt install cadical.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install cadical

local Homebrew formula metadata

Linux

Debian aptverified · 92%
sudo apt install cadical

Debian stable package indexes · cadical · source: deb.debian.org

Fedora dnfverified · 92%
sudo dnf install cadical

Fedora Rawhide package metadata · cadical · source: dl.fedoraproject.org

Nixverified · 92%
nix profile install nixpkgs#cadical

nixpkgs 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

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.

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 bottle metadata was recorded.

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

CommandKindExposureNote
cadicalexecutableindexed executableDiscovered from the local executable index.

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-08-03
manager version3.0.1
manager updated2026-07-19
local dataunknown
upstreamnot available
latest detectednot detected
  • okNo freshness warnings were generated.

install metadata

Package metadata

Package keybrew:cadical
Version3.0.1
Package managerHomebrew
Homepagehttps://fmv.jku.at/cadical/
Repositoryhttps://github.com/arminbiere/cadical
Last updated2026-07-19T17:59:39Z
Pulseupdated
Bottlenot recorded
Servicenone declared

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

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

sudo apt install cadical
  • Section: math
  • Architecture: amd64
  • Source Package: cadical
  • 3 dependencies
  • normalized package name match
  • Matched by: 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
  • Matched by: 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
  • Matched by: 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 dependencies
  • normalized package name match
  • Matched by: 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
  • Matched by: 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-6.fc45

Simplified SAT solver

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

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
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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

cadical-devel 2.2.1-6.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 dependencies
  • 2 provides
  • normalized package name match
  • Matched by: 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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

cadical-libs 2.2.1-6.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 dependencies
  • 2 provides
  • normalized package name match
  • Matched by: 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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

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.

Used sources

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation