macOS
Homebrewvérifié · 100%
brew install minisatlocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install minisatMacPorts ports tree · math/minisat/Portfile · Source: api.github.com
brew
Installer minisat avec Homebrew, apt, MacPorts, Nix, pacman, zypper, winget
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de minisat pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install minisatDebian stable package indexes · minisat · Source: deb.debian.org
Nixvérifié · 92%
nix profile install nixpkgs#minisatnixpkgs package indexes · pkgs/by-name/mi/minisat/package.nix · Source: api.github.com
Arch Linux pacmanvérifié · 92%
sudo pacman -S minisatArch Linux sync databases · minisat · Source: geo.mirror.pkgbuild.com
openSUSE zyppervérifié · 92%
sudo zypper install minisatopenSUSE Tumbleweed package metadata · minisat · Source: download.opensuse.org
Windows
Windows Package Managervérifié · 92%
winget install --id PolarGoose.minisat -eWindows Package Manager source index · PolarGoose.minisat · Source: cdn.winget.microsoft.com
aperçu
Résumé du paquet
Minimalistic and high-performance SAT solver
Liens du projet
Commandes et alias
- minisat
- minisat_core
historique
Historique du projet et usages
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.
Historique du projet
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.
Modes d'utilisation
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
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
- Les métadonnées de compilation listent 1 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
minisat | cli | exécutable global | |
minisat_core | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-10
version du gestionnaire2.2.1
gestionnaire mis à jour
données localesOK
amontà jour
dernière version détectéereleases/2.2.1
https://github.com/stp/minisat
- infoNo package-manager update timestamp was available.confiance faible
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:minisat |
|---|---|
| Version | 2.2.1 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/minisat |
| Page d'accueil | https://github.com/stp/minisat |
| Dépôt | https://github.com/stp/minisat |
| Docs amont | https://github.com/stp/minisat#readme |
| Licence | MIT |
| Archive source | https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz |
| Dépendances de compilation | cmake |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| 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 |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : Minisat
Nix95%
minisat
nix profile install nixpkgs#minisat- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- 2 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- 2 fournit
- normalized package name match
- Correspondance par : Minisat
MacPorts95%
minisat
sudo port install minisat- normalized package name match
- Correspondance par : Minisat
winget95%
PolarGoose.minisat
winget install --id PolarGoose.minisat -e- normalized package name match
- Correspondance par : Minisat
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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