macOS
Homebrewverifiziert · 100%
brew install minisatprovider-native install command
brew / Rang 4685
minisat mit Homebrew installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für minisat in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Ü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
- Es wurden keine Homebrew-Bottle-Metadaten erfasst.
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 | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
minisat_core | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
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-08-03
Manager-Version2.2.1
Manager aktualisiert
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
- OKEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:minisat |
|---|---|
| Version | 2.2.1 |
| Paketmanager | Homebrew |
| Homepage | https://github.com/stp/minisat |
| Repository | https://github.com/stp/minisat |
| Bottle | nicht erfasst |
| Dienst | keiner deklariert |
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.
Verwendete Quellen
- Geiger risk classifier
- Nucleus package database
- curated package history
- pkgdb category and tag curation