macOS
Homebrewverifiziert · 100%
brew install kissatlocal Homebrew formula metadata
brew
kissat mit Homebrew, apt, dnf, Nix installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für kissat in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Linux
Debian aptverifiziert · 92%
sudo apt install kissatDebian stable package indexes · kissat · Quelle: deb.debian.org
Fedora dnfverifiziert · 92%
sudo dnf install kissatFedora Rawhide package metadata · kissat · Quelle: dl.fedoraproject.org
Nixverifiziert · 92%
nix profile install nixpkgs#kissatnixpkgs package indexes · pkgs/by-name/ki/kissat/package.nix · Quelle: api.github.com
Überblick
Paketzusammenfassung
Bare metal SAT solver
Projektlinks
Befehle und Aliase
- kissat
Verlauf
Projektgeschichte und Nutzung
Kissat is Armin Biere's compact C SAT solver, described by the project as a keep-it-simple-and-clean bare-metal solver and as a reimplementation of CaDiCaL ideas with improved data structures, scheduling, algorithms, and implementation.
Projektgeschichte
Kissat comes from the same SAT-solver lineage as CaDiCaL, Lingeling, Plingeling, Treengeling, and related competition solvers associated with Armin Biere and collaborators. Its homepage describes it as a condensed and improved reimplementation of CaDiCaL in C, with library use possible even though the solver is not incremental.
The project became prominent through SAT Competition work. The official Kissat page records first place in the main track and first place on unsatisfiable instances at SAT Competition 2020, and the repository README points to solver descriptions for SAT Competition 2024.
Adoptionsgeschichte
Kissat is packaged beyond Homebrew, including Debian, Fedora/DNF, and Nix according to the input package facts. That kind of distribution matters for formal-methods users because SAT solvers are often invoked by other verification, synthesis, model-checking, theorem-proving, and package-build workflows.
Wie es verwendet wird
Users build Kissat with the repository's configure-and-make workflow and run it as a SAT solver on CNF instances. The README states that binaries are provided with major releases, while the homepage links the SAT Competition 2020 source submission and competition descriptions for deeper reproducibility context.
Warum Paket-Nerds sich dafür interessieren
Kissat is notable because SAT solvers are small command-line packages with outsize influence: they can sit invisibly underneath formal verification, dependency solving, hardware checking, and research pipelines. Its competition pedigree makes the package more than another CLI; it is a benchmark artifact from the SAT-solving community.
Zeitleiste
- 2020: Kissat won first place in the SAT Competition 2020 main track and first place on unsatisfiable instances.
- 2020: The official Kissat page linked the SAT Competition 2020 system description and submitted source archive.
- 2022-08-07: SAT Competition 2022 Light, Hyper, and Bulky GitHub releases were published.
- 2024: The repository README pointed to a SAT Competition 2024 solver description covering CaDiCaL, Gimsatul, IsaSAT, and Kissat.
- 2025-10-16: GitHub release rel-4.0.4 was published.
Related projects
- Kissat is related to CaDiCaL, Gimsatul, IsaSAT, Lingeling, Plingeling, Treengeling, Paracooba, and the broader SAT Competition benchmark ecosystem.
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 |
|---|---|---|---|
kissat | 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-Version4.0.4
Manager aktualisiert
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt
https://github.com/arminbiere/kissat
- InfoNo package-manager update timestamp was available.niedrig Konfidenz
- InfoNo cached GitHub release or tag data was available.https://github.com/arminbiere/kissatnone Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:kissat |
|---|---|
| Version | 4.0.4 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/kissat |
| Homepage | https://github.com/arminbiere/kissat |
| Repository | https://github.com/arminbiere/kissat |
| Upstream-Dokumentation | https://github.com/arminbiere/kissat#readme |
| Lizenz | MIT |
| Quellarchiv | https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.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 | kissat |
| 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%
kissat 4.0.2-1
Keep it simple and clean bare metal SAT solver
sudo apt install kissat- Section: science
- Architecture: amd64
- 1 Abhängigkeiten
- 4 optionale Abhängigkeiten
- normalized package name match
- Abgeglichen nach: Kissat
Nix95%
kissat
nix profile install nixpkgs#kissat- normalized package name match
- Abgeglichen nach: Kissat
dnf95%
kissat 4.0.4-3.fc44
Keep It Simple SAT solver
sudo dnf install kissat- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: kissat
- 4 Abhängigkeiten
- 1 stellt bereit
- normalized package name match
- Abgeglichen nach: Kissat
dnf95%
kissat-devel 4.0.4-3.fc44
Development files for kissat
sudo dnf install kissat-devel- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: kissat
- 2 Abhängigkeiten
- 1 stellt bereit
- normalized package name match
- Abgeglichen nach: Kissat
dnf95%
kissat-libs 4.0.4-3.fc44
Keep It Simple SAT solver library
sudo dnf install kissat-libs- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: kissat
- 3 Abhängigkeiten
- 2 stellt bereit
- normalized package name match
- Abgeglichen nach: Kissat
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