pkg.soopen package index

brew / rang 3872

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'installationNotes 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

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.

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

  • Aucune métadonnée de bottle Homebrew n’a été enregistrée.

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

CommandeTypeExpositionNote
cryptominisat5exécutableexécutable indexéDécouvert depuis l'index local des exécutables.
oracleexécutableexécutable indexéDécouvert depuis l'index local des exécutables.

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-08-03
version du gestionnaire5.14.7
gestionnaire mis à jour2026-06-27
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:cryptominisat
Version5.14.7
Gestionnaire de paquetsHomebrew
Page d'accueilhttps://www.msoos.org/cryptominisat5/
Dépôthttps://github.com/msoos/cryptominisat
Dernière mise à jour2026-06-27T15:33:34Z
Pulseupdated
Bouteillenon enregistré
Serviceaucun déclaré

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.7-3.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

cryptominisat-devel 5.14.7-3.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

cryptominisat-libs 5.14.7-3.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

python3-pycryptosat 5.14.7-3.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/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
pacman95%

cryptominisat 5.14.7-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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

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.

Sources utilisées

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation