macOS
Homebrewvérifié · 100%
brew install kissatlocal Homebrew formula metadata
brew
Installer kissat avec Homebrew, apt, dnf, Nix
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de kissat pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install kissatDebian stable package indexes · kissat · Source: deb.debian.org
Fedora dnfvérifié · 92%
sudo dnf install kissatFedora Rawhide package metadata · kissat · Source: dl.fedoraproject.org
Nixvérifié · 92%
nix profile install nixpkgs#kissatnixpkgs package indexes · pkgs/by-name/ki/kissat/package.nix · Source: api.github.com
aperçu
Résumé du paquet
Bare metal SAT solver
Liens du projet
Commandes et alias
- kissat
historique
Historique du projet et usages
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.
Historique du projet
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.
Historique d'adoption
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.
Modes d'utilisation
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.
Pourquoi les passionnés de paquets s'y intéressent
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.
Chronologie
- 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.
Sources
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
kissat | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-08
version du gestionnaire4.0.4
gestionnaire mis à jour
données localesOK
amontnot checked
dernière version détectéenon détecté
https://github.com/arminbiere/kissat
- infoNo package-manager update timestamp was available.confiance faible
- infoNo cached GitHub release or tag data was available.https://github.com/arminbiere/kissatconfiance none
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:kissat |
|---|---|
| Version | 4.0.4 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/kissat |
| Page d'accueil | https://github.com/arminbiere/kissat |
| Dépôt | https://github.com/arminbiere/kissat |
| Docs amont | https://github.com/arminbiere/kissat#readme |
| Licence | MIT |
| Archive source | https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.tar.gz |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| 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 |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
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 Dépendances
- 4 dépendances optionnelles
- normalized package name match
- Correspondance par : Kissat
Nix95%
kissat
nix profile install nixpkgs#kissat- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- 2 fournit
- normalized package name match
- Correspondance par : Kissat
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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