macOS
Homebrewverified · 100%
brew install kissatlocal Homebrew formula metadata
brew
Install kissat with Homebrew, apt, dnf, Nix
Bare metal SAT solver. Version 4.0.4 via Homebrew; verified from local package data.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install kissatDebian stable package indexes · kissat · source: deb.debian.org
Fedora dnfverified · 92%
sudo dnf install kissatFedora Rawhide package metadata · kissat · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#kissatnixpkgs package indexes · pkgs/by-name/ki/kissat/package.nix · source: api.github.com
overview
Package summary
Bare metal SAT solver
Project links
Commands and aliases
- kissat
history
Project history and usage
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.
Project history
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.
Adoption history
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.
How it is used
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.
Why package nerds care
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.
Timeline
- 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
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 |
|---|---|---|---|
kissat | 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 version4.0.4
manager updated
local dataok
upstreamnot checked
latest detectednot detected
https://github.com/arminbiere/kissat
- infoNo package-manager update timestamp was available.low confidence
- infoNo cached GitHub release or tag data was available.https://github.com/arminbiere/kissatnone confidence
install metadata
Package metadata
| Package key | brew:kissat |
|---|---|
| Version | 4.0.4 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/kissat |
| Homepage | https://github.com/arminbiere/kissat |
| Repository | https://github.com/arminbiere/kissat |
| Upstream docs | https://github.com/arminbiere/kissat#readme |
| License | MIT |
| Source archive | https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.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 | 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 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%
kissat 4.0.2-1
Keep it simple and clean bare metal SAT solver
sudo apt install kissat- Section: science
- Architecture: amd64
- 1 dependencies
- 4 optional deps
- normalized package name match
- Matched by: Kissat
Nix95%
kissat
nix profile install nixpkgs#kissat- normalized package name match
- Matched by: 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 dependencies
- 1 provides
- normalized package name match
- Matched by: 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 dependencies
- 1 provides
- normalized package name match
- Matched by: 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 dependencies
- 2 provides
- normalized package name match
- Matched by: Kissat
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