# Install minisat with Homebrew, apt, MacPorts, Nix, pacman, winget, zypper Minimalistic and high-performance SAT solver. Version 2.2.1 via Homebrew; verified from local package data. ## 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 libminisat2 ``` Evidence: openSUSE Tumbleweed package metadata: libminisat2 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-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 - **Package manager page:** - **Version:** 2.2.1 - **Source summary:** Minimalistic and high-performance SAT solver - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** MIT - **Source archive:** - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - minisat (cli) - minisat_core (cli) - minisat (alias) - minisat_core (alias) ## Build dependencies - cmake ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Freshness - Page generated: 2026-07-08 - Package-manager version: 2.2.1 - Local data: ok - Upstream repository: https://github.com/stp/minisat - Upstream latest detected: releases/2.2.1 (current) - info: No package-manager update timestamp was available. ## 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 ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** minisat - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## 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.3: normalized package name match | openSUSE Tumbleweed package metadata: libminisat2 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | SAT solver | http://minisat.se/MiniSat.html - zypper - minisat - 2.2.1+20230206-1.3: normalized package name match | openSUSE Tumbleweed package metadata: minisat from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | SAT solver | http://minisat.se/MiniSat.html - zypper - minisat-devel - 2.2.1+20230206-1.3: normalized package name match | openSUSE Tumbleweed package metadata: minisat-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-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 ## Related links - [Source-control packages](https://www.automicvault.com/pkg/source-control-tools/) - Belongs to a source-control command family. - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew. - [klee](https://www.automicvault.com/pkg/brew/klee/) - Popular package that depends on this formula. - [stp](https://www.automicvault.com/pkg/brew/stp/) - Popular package that depends on this formula. - [libsolv](https://www.automicvault.com/pkg/brew/libsolv/) - Shares av.db curated category or tags: cli, developer-tools, sat-solver. - [kissat](https://www.automicvault.com/pkg/brew/kissat/) - Shares av.db curated category or tags: boolean-satisfiability, cli, constraint-solving, logic, sat-solver. - [fastgron](https://www.automicvault.com/pkg/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/automic-vault/db/blob/main/combined/minisat.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph