Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install minisat

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install minisat

MacPorts ports tree · math/minisat/Portfile · Quelle: api.github.com

Linux

Debian aptverifiziert · 92%

sudo apt install minisat

Debian stable package indexes · minisat · Quelle: deb.debian.org

Nixverifiziert · 92%

nix profile install nixpkgs#minisat

nixpkgs package indexes · pkgs/by-name/mi/minisat/package.nix · Quelle: api.github.com

Arch Linux pacmanverifiziert · 92%

sudo pacman -S minisat

Arch Linux sync databases · minisat · Quelle: geo.mirror.pkgbuild.com

openSUSE zypperverifiziert · 92%

sudo zypper install minisat

openSUSE Tumbleweed package metadata · minisat · Quelle: download.opensuse.org

Windows

Windows Package Managerverifiziert · 92%

winget install --id PolarGoose.minisat -e

Windows Package Manager source index · PolarGoose.minisat · Quelle: cdn.winget.microsoft.com

Überblick

Paketzusammenfassung

Minimalistic and high-performance SAT solver

Projektlinks

Befehle und Aliase

minisat
minisat_core

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Wie es verwendet wird

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.

Quellen

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Build-Metadaten listen 1 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`minisat`	cli	globales Executable
`minisat_core`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-10

Manager-Version2.2.1

Manager aktualisiert

lokale DatenOK

Upstreamaktuell

neueste erkannte Versionreleases/2.2.1

https://github.com/stp/minisat

InfoNo package-manager update timestamp was available.niedrig Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:minisat
Version	2.2.1
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/minisat
Homepage	https://github.com/stp/minisat
Repository	https://github.com/stp/minisat
Upstream-Dokumentation	https://github.com/stp/minisat#readme
Lizenz	MIT
Quellarchiv	https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz
Build-Abhängigkeiten	cmake
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Debian apt95%

minisat 1:2.2.1-8

Fast and lightweight SAT solver

http://minisat.se/

sudo apt install minisat

Section: science
Architecture: amd64
Source Package: minisat2
4 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Minisat

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

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 Abhängigkeiten
normalized package name match
Abgeglichen nach: Minisat

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

Nix95%

minisat

nix profile install nixpkgs#minisat

normalized package name match
Abgeglichen nach: Minisat

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

Ubuntu apt95%

minisat 1:2.2.1-8build1

Fast and lightweight SAT solver

http://minisat.se/

sudo apt install minisat

Section: universe/science
Architecture: amd64
Source Package: minisat2
4 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Minisat

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: minisat from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

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 Abhängigkeiten
normalized package name match
Abgeglichen nach: Minisat

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: minisat+ from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

pacman95%

minisat 2.2.1.20201216-3

A minimalistic and high-performance SAT solver

http://minisat.se/

sudo pacman -S minisat

License: MIT
Architecture: x86_64
4 Abhängigkeiten
normalized package name match
Abgeglichen nach: Minisat

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

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 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: Minisat

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: libminisat2 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

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 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: Minisat

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: minisat from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

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 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: Minisat

openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: minisat-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

MacPorts95%

minisat

sudo port install minisat

normalized package name match
Abgeglichen nach: Minisat

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

winget95%

PolarGoose.minisat

winget install --id PolarGoose.minisat -e

normalized package name match
Abgeglichen nach: Minisat

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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/minisat.yml

Verwendete Quellen

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

minisat mit Homebrew, apt, MacPorts, Nix, pacman, zypper, winget installieren

Weitere Installationsbefehle

macOS

Linux

Windows

Paketzusammenfassung

Projektlinks

Befehle und Aliase

Projektgeschichte und Nutzung

Projektgeschichte

Wie es verwendet wird

Quellen

Risikostufe: grün

Risikoklassifikator

Warum

Signale

Installationsverhalten

Empfohlene Prüfung

Installierte Executables

Version und Aktualität

Paketmetadaten

Details aus der Quelldatenbank

Andere Paketmanager-Einträge

Interne Paketlinks

Themen-Hubs

Verwandte Tools

Gleicher Workflow

Agent-Sicherheitsleitfäden

Aus Repository-Daten generiert

Combined YAML source

Verwendete Quellen