# Install minisat with Homebrew, apt, MacPorts, Nix, pacman, zypper, winget Minimalistic and high-performance SAT solver. Version 2.2.1 via Homebrew; verified from local package data. Also installable with debian: sudo apt install minisat. ## Install ```sh sudo av install brew:minisat ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install minisat ``` Evidence: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install minisat ``` Evidence: 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 ``` Evidence: 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 ``` Evidence: 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 ``` Evidence: 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 ``` Evidence: 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 ``` Evidence: Windows Package Manager source index: PolarGoose.minisat from https://cdn.winget.microsoft.com/cache/source.msix ## Package facts - **Package key:** brew:minisat - **Package manager:** Homebrew - **Version:** 2.2.1 - **Source summary:** Minimalistic and high-performance SAT solver - **Homepage:** - **Repository:** - **Generated:** 2026-08-03T19:37:03+00:00 ## Executables - minisat (alias) - minisat_core (alias) ## Install behavior - Bottle: not available ## Freshness - Page generated: 2026-08-03 - Package-manager version: 2.2.1 ## Project history and usage 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. ### Project history 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. ### How it is used 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. ### Sources - - - - - ## Security Notes narrow executable package without higher-risk signals. - **Geiger risk:** green / low - narrow executable package without higher-risk signals ## Other Package-Manager Records - 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) ## Sources - 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