# 使用 Homebrew, apt, MacPorts, Nix, pacman, zypper, winget 安装 minisat 查看 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 - **版本:** 2.2.1 - **来源摘要:** Minimalistic and high-performance SAT solver - **主页:** - **仓库:** - **已生成:** 2026-08-03T19:37:03+00:00 ## 可执行文件 - minisat (别名) - minisat_core (别名) ## 安装行为 - Bottle: 不可用 ## 版本和新鲜度 - 页面生成时间: 2026-08-03 - 管理器版本: 2.2.1 ## 项目历史与用法 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. - **Geiger 风险:** 绿色 / 低 - narrow executable package without higher-risk signals ## 其他软件包管理器记录 - 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 ## 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 - curated package history - pkgdb category and tag curation - external package-manager database matches - cross-ecosystem install command graph