Automic VaultAutomic Vault

brew

kissat を Homebrew, apt, dnf, Nix でインストール

kissat のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install kissat

local Homebrew formula metadata

Linux

Debian apt確認済み · 92%
sudo apt install kissat

Debian stable package indexes · kissat · ソース: deb.debian.org

Fedora dnf確認済み · 92%
sudo dnf install kissat

Fedora Rawhide package metadata · kissat · ソース: dl.fedoraproject.org

Nix確認済み · 92%
nix profile install nixpkgs#kissat

nixpkgs package indexes · pkgs/by-name/ki/kissat/package.nix · ソース: api.github.com

概要

パッケージ概要

Bare metal SAT solver

コマンドとエイリアス

  • kissat

履歴

プロジェクトの歴史と使われ方

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.

プロジェクトの歴史

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.

採用の歴史

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.

使われ方

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.

パッケージ好きにとっての重要性

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.

タイムライン

  • 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.

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
kissatcliグローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-08
マネージャ版4.0.4
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出

https://github.com/arminbiere/kissat

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:kissat
バージョン4.0.4
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/kissat
ホームページhttps://github.com/arminbiere/kissat
リポジトリhttps://github.com/arminbiere/kissat
上流ドキュメントhttps://github.com/arminbiere/kissat#readme
ライセンスMIT
ソースアーカイブhttps://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.tar.gz
Bottle利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namekissat
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Debian apt95%

kissat 4.0.2-1

Keep it simple and clean bare metal SAT solver

https://fmv.jku.at/kissat/

sudo apt install kissat
  • Section: science
  • Architecture: amd64
  • 1 依存関係
  • 4 任意依存関係
  • normalized package name match
  • 一致条件: Kissat
Debian stable package indexes · deb.debian.org · Debian stable package indexes: kissat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

kissat

nix profile install nixpkgs#kissat
  • normalized package name match
  • 一致条件: Kissat
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/ki/kissat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
dnf95%

kissat 4.0.4-3.fc44

Keep It Simple SAT solver

http://fmv.jku.at/kissat/

sudo dnf install kissat
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: kissat
  • 4 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Kissat
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: kissat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

kissat-devel 4.0.4-3.fc44

Development files for kissat

http://fmv.jku.at/kissat/

sudo dnf install kissat-devel
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: kissat
  • 2 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Kissat
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: kissat-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf95%

kissat-libs 4.0.4-3.fc44

Keep It Simple SAT solver library

http://fmv.jku.at/kissat/

sudo dnf install kissat-libs
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: kissat
  • 3 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Kissat
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: kissat-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

同じワークフロー

  • cadicalShares av.db curated category or tags: cli, formal-methods, sat-solver, science.
  • cryptominisatShares av.db curated category or tags: boolean-satisfiability, cli, sat-solver, science.
  • prover9Shares av.db curated category or tags: cli, logic, science.
  • acl2Shares av.db curated category or tags: cli, formal-methods, logic, science.
  • depqbfShares av.db curated category or tags: cli, formal-methods, science.
  • eproverShares av.db curated category or tags: cli, formal-methods, science.

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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