macOS
Homebrewverifiziert · 100%
brew install cadicallocal Homebrew formula metadata
brew
cadical mit Homebrew, apt, dnf, Nix installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für cadical in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Linux
Debian aptverifiziert · 92%
sudo apt install cadicalDebian stable package indexes · cadical · Quelle: deb.debian.org
Fedora dnfverifiziert · 92%
sudo dnf install cadicalFedora Rawhide package metadata · cadical · Quelle: dl.fedoraproject.org
Nixverifiziert · 92%
nix profile install nixpkgs#cadicalnixpkgs package indexes · pkgs/by-name/ca/cadical/package.nix · Quelle: api.github.com
Überblick
Paketzusammenfassung
Clean and efficient state-of-the-art SAT solver
Projektlinks
Befehle und Aliase
- cadical
Verlauf
Projektgeschichte und Nutzung
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.
Projektgeschichte
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.
Adoptionsgeschichte
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.
Wie es verwendet wird
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.
Warum Paket-Nerds sich dafür interessieren
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.
Zeitleiste
- 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.
Quellen
Sicherheitslage
Risikostufe: grün
narrow executable package without higher-risk signals.
Risikoklassifikator
grün Risiko · niedrig Konfidenz · appliance
Warum
- narrow executable package without higher-risk signals
Signale
- metadata:no-higher-risk-signals
Installationsverhalten
- In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
- Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
cadical | cli | globales Executable |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-07-08
Manager-Version3.0.0
Manager aktualisiert
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt
https://github.com/arminbiere/cadical
- InfoNo package-manager update timestamp was available.niedrig Konfidenz
- InfoNo cached GitHub release or tag data was available.https://github.com/arminbiere/cadicalnone Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:cadical |
|---|---|
| Version | 3.0.0 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/cadical |
| Homepage | https://fmv.jku.at/cadical/ |
| Repository | https://github.com/arminbiere/cadical |
| Upstream-Dokumentation | https://fmv.jku.at/cadical |
| Lizenz | MIT |
| Quellarchiv | https://github.com/arminbiere/cadical/archive/refs/tags/rel-3.0.0.tar.gz |
| Bottle | verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Registry-Fakten
Details aus der Quelldatenbank
| 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-Datenbank-Treffer
Andere Paketmanager-Einträge
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
Debian apt95%
cadical 1.7.4-1+b1
Simplified Satisfiability Solver
sudo apt install cadical- Section: math
- Architecture: amd64
- Source Package: cadical
- 3 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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
- Abgeglichen nach: Cadical
Nix95%
cadical
nix profile install nixpkgs#cadical- normalized package name match
- Abgeglichen nach: Cadical
Ubuntu apt95%
cadical 1.7.4-1
Simplified Satisfiability Solver
sudo apt install cadical- Section: universe/math
- Architecture: amd64
- 3 Abhängigkeiten
- normalized package name match
- Abgeglichen nach: 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
- Abgeglichen nach: 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 Abhängigkeiten
- 1 stellt bereit
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- 2 stellt bereit
- normalized package name match
- Abgeglichen nach: 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 Abhängigkeiten
- 2 stellt bereit
- normalized package name match
- Abgeglichen nach: Cadical
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
Combined YAML source
View the package source record on GitHub.
Verwendete Quellen
- 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