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

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

## インストール

```sh
sudo av install brew:minisat
```

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

### macOS

- Homebrew (100%):

```sh
brew install minisat
```

  証拠: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install minisat
```

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

### Linux

- Debian apt (92%):

```sh
sudo apt install minisat
```

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

- Nix (92%):

```sh
nix profile install nixpkgs#minisat
```

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

- pacman (92%):

```sh
sudo pacman -S minisat
```

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

- zypper (92%):

```sh
sudo zypper install minisat
```

  証拠: openSUSE Tumbleweed package metadata: minisat from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst

### Windows

- winget (92%):

```sh
winget install --id PolarGoose.minisat -e
```

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

## パッケージ情報

- **パッケージキー:** brew:minisat
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/minisat>
- **バージョン:** 2.2.1
- **ソース概要:** Minimalistic and high-performance SAT solver
- **ホームページ:** <https://github.com/stp/minisat>
- **リポジトリ:** <https://github.com/stp/minisat>
- **ライセンス:** MIT
- **ソースアーカイブ:** <https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz>
- **生成日時:** 2026-08-04T22:13:35+00:00

## 実行可能ファイル

- minisat (cli)
- minisat_core (cli)
- minisat (エイリアス)
- minisat_core (エイリアス)

## ビルド依存関係

- cmake

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 2.2.1
- ローカルデータ: OK
- 上流リポジトリ: https://github.com/stp/minisat
- 検出された最新: releases/2.2.1 (最新)
- 情報: No package-manager update timestamp was available.
## プロジェクトの歴史と使われ方

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.

### ソース

- <http://minisat.se/>
- <http://minisat.se/Papers.html>
- <https://formulae.brew.sh/formula/minisat>
- <https://github.com/niklasso/minisat>
- <https://github.com/stp/minisat>


## セキュリティノート

narrow executable package without higher-risk signals.

- **Geiger リスク:** グリーン / 低
- narrow executable package without higher-risk signals

## ソースデータベース詳細

- **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

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

- Debian apt - minisat - 1:2.2.1-8: normalized package name match | Debian stable package indexes: minisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Fast and lightweight SAT solver | http://minisat.se/
- Debian apt - minisat+ - 1.0-5: normalized package name match | Debian stable package indexes: minisat+ from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | solver for pseudo-Boolean constraints | http://minisat.se/MiniSat+.html
- Nix - minisat: normalized package name match | nixpkgs package indexes: pkgs/by-name/mi/minisat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - minisat - 1:2.2.1-8build1: normalized package name match | Ubuntu 24.04 LTS package indexes: minisat from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Fast and lightweight SAT solver | http://minisat.se/
- Ubuntu apt - minisat+ - 1.0-4build1: normalized package name match | Ubuntu 24.04 LTS package indexes: minisat+ from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | solver for pseudo-Boolean constraints | http://minisat.se/MiniSat+.html
- pacman - minisat - 2.2.1.20201216-3: normalized package name match | Arch Linux sync databases: minisat from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | A minimalistic and high-performance SAT solver | http://minisat.se/
- zypper - libminisat2 - 2.2.1+20230206-1.5: normalized package name match | openSUSE Tumbleweed package metadata: libminisat2 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | SAT solver | http://minisat.se/MiniSat.html
- zypper - minisat - 2.2.1+20230206-1.5: normalized package name match | openSUSE Tumbleweed package metadata: minisat from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | SAT solver | http://minisat.se/MiniSat.html
- zypper - minisat-devel - 2.2.1+20230206-1.5: normalized package name match | openSUSE Tumbleweed package metadata: minisat-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | Devel files for minisat | http://minisat.se/MiniSat.html
- MacPorts - minisat: normalized package name match | MacPorts ports tree: math/minisat/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
- winget - PolarGoose.minisat: normalized package name match | Windows Package Manager source index: PolarGoose.minisat from https://cdn.winget.microsoft.com/cache/source.msix


## 関連リンク

- [Source-control packages](https://pkg.so/ja/source-control-tools/) - Belongs to a source-control command family.
- [Terminal utility packages](https://pkg.so/ja/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://pkg.so/ja/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://pkg.so/ja/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [cmake](https://pkg.so/ja/brew/cmake/) - Build dependency declared by Homebrew.
- [stp](https://pkg.so/ja/brew/stp/) - Popular package that depends on this formula.
- [klee](https://pkg.so/ja/brew/klee/) - Popular package that depends on this formula.
- [libsolv](https://pkg.so/ja/brew/libsolv/) - Shares pkgdb curated category or tags: cli, developer-tools, sat-solver.
- [kissat](https://pkg.so/ja/brew/kissat/) - Shares pkgdb curated category or tags: boolean-satisfiability, cli, constraint-solving, logic, sat-solver.
- [fastgron](https://pkg.so/ja/brew/fastgron/) - Local package facts share a topical domain. Shared terms: cli, developer, developer-tools, high, high-performance.

## Combined YAML source

View the package source record on GitHub. [combined/minisat.yml](https://github.com/mxcl/pkgdb/blob/main/combined/minisat.yml)


## ソース

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph