インストール

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

macOS

Homebrew確認済み · 100%

brew install minisat

local Homebrew formula metadata

MacPorts確認済み · 94%

sudo port install minisat

MacPorts ports tree · math/minisat/Portfile · ソース: api.github.com

Linux

Debian apt確認済み · 92%

sudo apt install minisat

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

Nix確認済み · 92%

nix profile install nixpkgs#minisat

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

Arch Linux pacman確認済み · 92%

sudo pacman -S minisat

Arch Linux sync databases · minisat · ソース: geo.mirror.pkgbuild.com

openSUSE zypper確認済み · 92%

sudo zypper install minisat

openSUSE Tumbleweed package metadata · minisat · ソース: download.opensuse.org

Windows

Windows Package Manager確認済み · 92%

winget install --id PolarGoose.minisat -e

Windows Package Manager source index · PolarGoose.minisat · ソース: cdn.winget.microsoft.com

概要

パッケージ概要

Minimalistic and high-performance SAT solver

プロジェクトリンク

コマンドとエイリアス

minisat
minisat_core

履歴

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

MiniSat is a minimalist open-source SAT solver by Niklas Een and Niklas Sorensson. The authors presented "An Extensible SAT-solver" at SAT 2003, and the project site frames MiniSat as a small, well-documented solver intended to help researchers and developers start with satisfiability solving.

プロジェクトの歴史

Its importance came from being both compact and competitive. The MiniSat site highlights three design goals: easy modification, high efficiency, and integration into other tools through incremental SAT and mechanisms for non-clausal constraints. MiniSat and the SatELite preprocessor won industrial categories at the SAT 2005 competition, and later MiniSat-related work covered conflict-clause minimization, pseudo-Boolean solving through MiniSat+, and preprocessing through variable and clause elimination.

使われ方

In practice, MiniSat is used as a command-line DIMACS CNF solver and as embeddable C++ code for verification, model checking, planning, constraint solving, and research prototypes. Its package-manager niche is the reference small SAT solver: less feature-heavy than modern portfolio solvers, but valuable because its codebase is readable, MIT-licensed, and historically central to SAT-solver education and experimentation.

ソース

セキュリティ状態

リスクレベル: グリーン

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 個のプラットフォームターゲットで利用できます。
ビルドメタデータには 1 件のビルド依存関係があります。

推奨レビュー

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

実行可能ファイル

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

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

鮮度

バージョンと鮮度

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

ページ生成日2026-07-10

マネージャ版2.2.1

マネージャ更新日

ローカルデータOK

上流最新

検出された最新releases/2.2.1

https://github.com/stp/minisat

情報No package-manager update timestamp was available.信頼度低

インストールメタデータ

パッケージメタデータ

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

レジストリ情報

ソースデータベース詳細

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	minisat
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

ソースデータベース一致

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

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

Debian apt95%

minisat 1:2.2.1-8

Fast and lightweight SAT solver

http://minisat.se/

sudo apt install minisat

Section: science
Architecture: amd64
Source Package: minisat2
4 依存関係
1 提供
normalized package name match
一致条件: Minisat

Debian stable package indexes · deb.debian.org · Debian stable package indexes: minisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt95%

minisat+ 1.0-5

solver for pseudo-Boolean constraints

http://minisat.se/MiniSat+.html

sudo apt install minisat+

Section: science
Architecture: amd64
4 依存関係
normalized package name match
一致条件: Minisat

Debian stable package indexes · deb.debian.org · Debian stable package indexes: minisat+ from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Nix95%

minisat

nix profile install nixpkgs#minisat

normalized package name match
一致条件: Minisat

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/mi/minisat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt95%

minisat 1:2.2.1-8build1

Fast and lightweight SAT solver

http://minisat.se/

sudo apt install minisat

Section: universe/science
Architecture: amd64
Source Package: minisat2
4 依存関係
1 提供
normalized package name match
一致条件: Minisat

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: minisat from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

minisat+ 1.0-4build1

solver for pseudo-Boolean constraints

http://minisat.se/MiniSat+.html

sudo apt install minisat+

Section: universe/science
Architecture: amd64
4 依存関係
normalized package name match
一致条件: Minisat

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: minisat+ from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

pacman95%

minisat 2.2.1.20201216-3

A minimalistic and high-performance SAT solver

http://minisat.se/

sudo pacman -S minisat

License: MIT
Architecture: x86_64
4 依存関係
normalized package name match
一致条件: Minisat

Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: minisat from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

zypper95%

libminisat2 2.2.1+20230206-1.3

SAT solver

http://minisat.se/MiniSat.html

sudo zypper install libminisat2

License: MIT
Category: System/Libraries
Architecture: x86_64
Source Package: minisat
5 依存関係
2 提供
normalized package name match
一致条件: Minisat

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: libminisat2 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

zypper95%

minisat 2.2.1+20230206-1.3

SAT solver

http://minisat.se/MiniSat.html

sudo zypper install minisat

License: MIT
Category: Development/Tools/Other
Architecture: x86_64
Source Package: minisat
5 依存関係
1 提供
normalized package name match
一致条件: Minisat

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: minisat from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

zypper95%

minisat-devel 2.2.1+20230206-1.3

Devel files for minisat

http://minisat.se/MiniSat.html

sudo zypper install minisat-devel

License: MIT
Category: Development/Libraries/C and C++
Architecture: x86_64
Source Package: minisat
2 依存関係
2 提供
normalized package name match
一致条件: Minisat

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: minisat-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

MacPorts95%

minisat

sudo port install minisat

normalized package name match
一致条件: Minisat

MacPorts ports tree · api.github.com · MacPorts ports tree: math/minisat/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

winget95%

PolarGoose.minisat

winget install --id PolarGoose.minisat -e

normalized package name match
一致条件: Minisat

Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: PolarGoose.minisat from https://cdn.winget.microsoft.com/cache/source.msix

パッケージグラフ

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

ソース経路

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

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

Combined YAML source

View the package source record on GitHub.

combined/minisat.yml

使用ソース

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

minisat を Homebrew, apt, MacPorts, Nix, pacman, zypper, winget でインストール

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

macOS

Linux

Windows

パッケージ概要

プロジェクトリンク

コマンドとエイリアス

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

プロジェクトの歴史

使われ方

ソース

リスクレベル: グリーン

リスク分類器

理由

信号

インストール挙動

推奨レビュー

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

バージョンと鮮度

パッケージメタデータ

ソースデータベース詳細

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

内部パッケージリンク

トピック別ハブ

関連ツール

同じワークフロー

エージェント安全ガイド

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

Combined YAML source

使用ソース