macOS
Homebrewverified · 100%
brew install minisatlocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install minisatMacPorts ports tree · math/minisat/Portfile · source: api.github.com
brew
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
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install minisatDebian stable package indexes · minisat · source: deb.debian.org
Nixverified · 92%
nix profile install nixpkgs#minisatnixpkgs package indexes · pkgs/by-name/mi/minisat/package.nix · source: api.github.com
Arch Linux pacmanverified · 92%
sudo pacman -S minisatArch Linux sync databases · minisat · source: geo.mirror.pkgbuild.com
openSUSE zypperverified · 92%
sudo zypper install libminisat2openSUSE Tumbleweed package metadata · libminisat2 · source: download.opensuse.org
Windows
Windows Package Managerverified · 92%
winget install --id PolarGoose.minisat -eWindows Package Manager source index · PolarGoose.minisat · source: cdn.winget.microsoft.com
overview
Package summary
Minimalistic and high-performance SAT solver
Project links
Commands and aliases
- minisat
- minisat_core
history
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 posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Build metadata lists 1 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
minisat | cli | global executable | |
minisat_core | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version2.2.1
manager updated
local dataok
upstreamcurrent
latest detectedreleases/2.2.1
https://github.com/stp/minisat
- infoNo package-manager update timestamp was available.low confidence
install metadata
Package metadata
| Package key | brew:minisat |
|---|---|
| Version | 2.2.1 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/minisat |
| Homepage | https://github.com/stp/minisat |
| Repository | https://github.com/stp/minisat |
| Upstream docs | https://github.com/stp/minisat#readme |
| License | MIT |
| Source archive | https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz |
| Build dependencies | cmake |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
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 | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
minisat 1:2.2.1-8
Fast and lightweight SAT solver
sudo apt install minisat- Section: science
- Architecture: amd64
- Source Package: minisat2
- 4 dependencies
- 1 provides
- normalized package name match
- Matched by: Minisat
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 dependencies
- normalized package name match
- Matched by: Minisat
Nix95%
minisat
nix profile install nixpkgs#minisat- normalized package name match
- Matched by: Minisat
Ubuntu apt95%
minisat 1:2.2.1-8build1
Fast and lightweight SAT solver
sudo apt install minisat- Section: universe/science
- Architecture: amd64
- Source Package: minisat2
- 4 dependencies
- 1 provides
- normalized package name match
- Matched by: Minisat
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 dependencies
- normalized package name match
- Matched by: Minisat
pacman95%
minisat 2.2.1.20201216-3
A minimalistic and high-performance SAT solver
sudo pacman -S minisat- License: MIT
- Architecture: x86_64
- 4 dependencies
- normalized package name match
- Matched by: Minisat
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 dependencies
- 2 provides
- normalized package name match
- Matched by: Minisat
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 dependencies
- 1 provides
- normalized package name match
- Matched by: Minisat
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 dependencies
- 2 provides
- normalized package name match
- Matched by: Minisat
MacPorts95%
minisat
sudo port install minisat- normalized package name match
- Matched by: Minisat
winget95%
PolarGoose.minisat
winget install --id PolarGoose.minisat -e- normalized package name match
- Matched by: Minisat
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- 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