brew

Installer cryptominisat avec Homebrew, apt, dnf, Nix, pacman

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de cryptominisat pour les workflows d'agents IA.

Commande d'installation Notes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install cryptominisat

local Homebrew formula metadata

Linux

Debian aptvérifié · 92%

sudo apt install cryptominisat

Debian stable package indexes · cryptominisat · Source: deb.debian.org

Fedora dnfvérifié · 92%

sudo dnf install cryptominisat

Fedora Rawhide package metadata · cryptominisat · Source: dl.fedoraproject.org

Nixvérifié · 92%

nix profile install nixpkgs#cryptominisat

nixpkgs package indexes · pkgs/by-name/cr/cryptominisat/package.nix · Source: api.github.com

Arch Linux pacmanvérifié · 92%

sudo pacman -S cryptominisat

Arch Linux sync databases · cryptominisat · Source: geo.mirror.pkgbuild.com

aperçu

Résumé du paquet

Advanced SAT solver

Liens du projet

Commandes et alias

cryptominisat5
oracle

historique

Historique du projet et usages

CryptoMiniSat is an advanced SAT solver with command-line, C++ library, Python, C, and Rust-compatible interfaces. It is packaged for scientific and developer-tool ecosystems because SAT solvers are infrastructure for verification, optimization, cryptanalysis, model counting, and research workflows.

Historique du projet

The official homepage identifies CryptoMiniSat 5 as a modern, multi-threaded, feature-rich simplifying SAT solver and asks users to cite the project's SAT 2009 conference paper. The official GitHub repository was created in 2012 and continues to publish 5.x releases.

Historique d'adoption

CryptoMiniSat is distributed as release binaries, source builds, Nix shells, Python packages through pycryptosat, and distro packages. The supplied package metadata lists Homebrew, Debian, Fedora, Nix, Arch, and Ubuntu, which fits a solver used both interactively from the shell and embedded through library bindings.

Modes d'utilisation

The command-line interface accepts DIMACS CNF input with XOR-clause extensions and is invoked as cryptominisat5. The README also documents incremental Python and C++ usage, including assumptions and repeated solve calls, which are important for users embedding the solver in larger verification or search programs.

Pourquoi les passionnés de paquets s'y intéressent

For packagers, CryptoMiniSat is a good example of research software that became routine infrastructure: it exposes a stable executable, a C++ API, Python wheels, and static-build options while depending on performance-sensitive native libraries such as GMP and zlib. Packaging quality directly affects whether downstream scientific tools can treat the solver as a dependable backend.

Chronologie

2009: The project asks users to cite its SAT 2009 conference paper.
2012: The official GitHub repository was created.
2026: The official GitHub releases page shows active 5.14.x releases.

Related projects

CryptoMiniSat is part of the broader SAT-solver ecosystem and its README and homepage reference DIMACS CNF, SAT competition formats, pycryptosat, CaDiCaL-related dependencies, and MiniSat-adjacent techniques.

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.
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	exécutable global
`oracle`	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 gestionnaire5.14.7

gestionnaire mis à jour2026-06-27

données localesOK

amontà jour

dernière version détectéerelease/v5.14.7

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.7
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://github.com/msoos/cryptominisat#readme
Licence	MIT
Archive source	https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.14.7.tar.gz
Dernière mise à jour	2026-06-27T15:33:34Z
Pulse	updated
Dépendances	gmp
Dépendances de compilation	cmake, pkgconf, python@3.14
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	cryptominisat
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

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%

cryptominisat 5.11.21+dfsg1-2

SAT solver command line interface

https://www.msoos.org/

sudo apt install cryptominisat

Section: math
Architecture: amd64
5 Dépendances
normalized package name match
Correspondance par : Cryptominisat

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

Debian apt95%

libcryptominisat5-5.11t64 5.11.21+dfsg1-2

SAT solver library

https://www.msoos.org/

sudo apt install libcryptominisat5-5.11t64

Section: libs
Architecture: amd64
Source Package: cryptominisat
3 Dépendances
1 fournit
normalized package name match
Correspondance par : Cryptominisat

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

Debian apt95%

libcryptominisat5-dev 5.11.21+dfsg1-2

development files for the CryptoMiniSat SAT solver

https://www.msoos.org/

sudo apt install libcryptominisat5-dev

Section: libdevel
Architecture: amd64
Source Package: cryptominisat
1 Dépendances
normalized package name match
Correspondance par : Cryptominisat

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

Debian apt95%

python3-cryptominisat 5.11.21+dfsg1-2

Python bindings for the CryptoMiniSat SAT solver (Python 3)

https://www.msoos.org/

sudo apt install python3-cryptominisat

Section: python
Architecture: amd64
Source Package: cryptominisat
4 Dépendances
normalized package name match
Correspondance par : Cryptominisat

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

Nix95%

cryptominisat

nix profile install nixpkgs#cryptominisat

normalized package name match
Correspondance par : Cryptominisat

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

Ubuntu apt95%

cryptominisat 5.11.15+dfsg1-1.1build1

SAT solver command line interface

https://www.msoos.org/

sudo apt install cryptominisat

Section: universe/math
Architecture: amd64
6 Dépendances
normalized package name match
Correspondance par : Cryptominisat

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

Ubuntu apt95%

libcryptominisat5-5.11t64 5.11.15+dfsg1-1.1build1

SAT solver library

https://www.msoos.org/

sudo apt install libcryptominisat5-5.11t64

Section: universe/libs
Architecture: amd64
Source Package: cryptominisat
3 Dépendances
1 fournit
normalized package name match
Correspondance par : Cryptominisat

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

Ubuntu apt95%

libcryptominisat5-dev 5.11.15+dfsg1-1.1build1

development files for the CryptoMiniSat SAT solver

https://www.msoos.org/

sudo apt install libcryptominisat5-dev

Section: universe/libdevel
Architecture: amd64
Source Package: cryptominisat
1 Dépendances
normalized package name match
Correspondance par : Cryptominisat

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

Ubuntu apt95%

python3-cryptominisat 5.11.15+dfsg1-1.1build1

Python bindings for the CryptoMiniSat SAT solver (Python 3)

https://www.msoos.org/

sudo apt install python3-cryptominisat

Section: universe/python
Architecture: amd64
Source Package: cryptominisat
4 Dépendances
normalized package name match
Correspondance par : Cryptominisat

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

dnf95%

cryptominisat 5.14.5-2.fc45

SAT solver

https://www.msoos.org/

sudo dnf install cryptominisat

License: MIT
Category: Unspecified
Architecture: x86_64
Source Package: cryptominisat
10 Dépendances
1 fournit
normalized package name match
Correspondance par : Cryptominisat

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cryptominisat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

cryptominisat-devel 5.14.5-2.fc45

Header files for developing with cryptominisat

https://www.msoos.org/

sudo dnf install cryptominisat-devel

License: MIT
Category: Unspecified
Architecture: x86_64
Source Package: cryptominisat
6 Dépendances
2 fournit
normalized package name match
Correspondance par : Cryptominisat

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cryptominisat-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

cryptominisat-libs 5.14.5-2.fc45

Cryptominisat library

https://www.msoos.org/

sudo dnf install cryptominisat-libs

License: MIT
Category: Unspecified
Architecture: x86_64
Source Package: cryptominisat
8 Dépendances
4 fournit
normalized package name match
Correspondance par : Cryptominisat

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: cryptominisat-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf95%

python3-pycryptosat 5.14.5-2.fc45

Python 3 interface to cryptominisat

https://www.msoos.org/

sudo dnf install python3-pycryptosat

License: MIT
Category: Unspecified
Architecture: x86_64
Source Package: cryptominisat
7 Dépendances
5 fournit
normalized package name match
Correspondance par : Cryptominisat

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: python3-pycryptosat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

pacman95%

cryptominisat 5.14.5-1

A modern, multi-threaded, feature-rich, simplifying SAT solver

https://github.com/msoos/cryptominisat/

sudo pacman -S cryptominisat

License: MIT
Architecture: x86_64
5 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : Cryptominisat

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

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.

combined/cryptominisat.yml

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

Installer cryptominisat avec Homebrew, apt, dnf, Nix, pacman

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Outils liés

Même workflow

Guides de sécurité des agents

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées