macOS
Homebrew
vérifié · 100%
brew install cryptominisat
local Homebrew formula metadata
Renseignements sur le paquet brew
Installer cryptominisat
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de cryptominisat pour les workflows d'agents IA.
installation
Installer avec Automic Vault
Automic Vault
sudo av install brew:cryptominisatLinux
Debian apt
vérifié · 92%
sudo apt install cryptominisat
Debian stable package indexes · cryptominisat · source: deb.debian.org
Fedora dnf
vérifié · 92%
sudo dnf install cryptominisat
Fedora Rawhide package metadata · cryptominisat · source: dl.fedoraproject.org
Nix
vérifié · 92%
nix profile install nixpkgs#cryptominisat
nixpkgs package indexes · pkgs/by-name/cr/cryptominisat/package.nix · source: api.github.com
Arch Linux pacman
vérifié · 92%
sudo pacman -S cryptominisat
Arch Linux sync databases · cryptominisat · source: geo.mirror.pkgbuild.com
Source du gestionnaire de paquets
Notes de plateforme
- Aucune note de plateforme propre au paquet n'était présente.
aperçu
Résumé du paquet
Automic Vault publie les chemins d'installation, les faits d'exécutables et les métadonnées de sécurité propres à cryptominisat depuis les données locales de paquets.
Page d'accueil
Commandes et alias
- cryptominisat5
- oracle
Résumé source
Advanced SAT solver
posture de sécurité
Niveau de risque : green
narrow executable package without higher-risk signals.
Classificateur de risque
green risque · low confiance · 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.
- S’installe avec 1 dépendances d’exécution.
- Les métadonnées de compilation listent 3 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 |
|---|---|---|---|
cryptominisat5 | cli | global executable | |
oracle | cli | global executable |
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-05-26
version du gestionnaire5.14.5
gestionnaire mis à jour2026-05-24
données localesok
amontcurrent
dernière version détectéerelease/v5.14.5
https://github.com/msoos/cryptominisat
- okAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:cryptominisat |
|---|---|
| Version | 5.14.5 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/cryptominisat |
| Page d'accueil | https://www.msoos.org/cryptominisat5/ |
| Dépôt | https://github.com/msoos/cryptominisat |
| Docs amont | https://www.msoos.org/cryptominisat5/ |
| Licence | MIT |
| Archive source | https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.14.5.tar.gz |
| Mis à jour | 2026-05-24T23:50:40Z |
| Pulse | updated |
| Dépendances | gmp |
| Dépendances de compilation | cmake, pkgconf, python@3.14 |
| Bouteille | disponible (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
piste source
Généré depuis les données du dépôt
Cette page est écrite par scripts/generate-pkg-pages.py. Les déploiements refusent de publier si www/pkg/ est obsolète par rapport aux données locales de paquets.
Sources utilisées
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment