# 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. ## installation ```sh sudo av install brew:cryptominisat ``` Commandes d'installation supplémentaires: ### macOS - Homebrew (100%): ```sh brew install cryptominisat ``` Preuve: local Homebrew formula metadata ### Linux - Debian apt (92%): ```sh sudo apt install cryptominisat ``` Preuve: Debian stable package indexes: cryptominisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - dnf (92%): ```sh sudo dnf install cryptominisat ``` Preuve: Fedora Rawhide package metadata: cryptominisat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#cryptominisat ``` Preuve: nixpkgs package indexes: pkgs/by-name/cr/cryptominisat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S cryptominisat ``` Preuve: Arch Linux sync databases: cryptominisat from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz ## Faits du paquet - **Clé du paquet:** brew:cryptominisat - **Gestionnaire de paquets:** Homebrew - **Page du gestionnaire de paquets:** - **Version:** 5.14.7 - **Résumé source:** Advanced SAT solver - **Page d'accueil:** - **Dépôt:** - **Docs amont:** - **Licence:** MIT - **Archive source:** - **Dernière mise à jour:** 2026-06-27T15:33:34Z - **Généré:** 2026-08-04T22:13:35+00:00 ## exécutables - cryptominisat5 (cli) - oracle (cli) - cryptominisat5 (alias) - oracle (alias) ## Dépendances - gmp ## Dépendances de compilation - cmake - pkgconf - python@3.14 ## Comportement d'installation - hook post-installation: non défini - Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Version et fraîcheur - page générée: 2026-08-04 - version du gestionnaire: 5.14.7 - gestionnaire mis à jour: 2026-06-27 - données locales: OK - dépôt amont: https://github.com/msoos/cryptominisat - dernière version détectée: release/v5.14.7 (à jour) ## 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 - - - - ## Notes de sécurité narrow executable package without higher-risk signals. - **Risque Geiger:** vert / faible - narrow executable package without higher-risk signals ## 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:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Autres enregistrements de gestionnaires de paquets - Debian apt - cryptominisat - 5.11.21+dfsg1-2: normalized package name match | Debian stable package indexes: cryptominisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | SAT solver command line interface | https://www.msoos.org/ - Debian apt - libcryptominisat5-5.11t64 - 5.11.21+dfsg1-2: normalized package name match | Debian stable package indexes: libcryptominisat5-5.11t64 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | SAT solver library | https://www.msoos.org/ - Debian apt - libcryptominisat5-dev - 5.11.21+dfsg1-2: normalized package name match | Debian stable package indexes: libcryptominisat5-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | development files for the CryptoMiniSat SAT solver | https://www.msoos.org/ - Debian apt - python3-cryptominisat - 5.11.21+dfsg1-2: normalized package name match | Debian stable package indexes: python3-cryptominisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Python bindings for the CryptoMiniSat SAT solver (Python 3) | https://www.msoos.org/ - Nix - cryptominisat: normalized package name match | nixpkgs package indexes: pkgs/by-name/cr/cryptominisat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - cryptominisat - 5.11.15+dfsg1-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: cryptominisat from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | SAT solver command line interface | https://www.msoos.org/ - Ubuntu apt - libcryptominisat5-5.11t64 - 5.11.15+dfsg1-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcryptominisat5-5.11t64 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | SAT solver library | https://www.msoos.org/ - Ubuntu apt - libcryptominisat5-dev - 5.11.15+dfsg1-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libcryptominisat5-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | development files for the CryptoMiniSat SAT solver | https://www.msoos.org/ - Ubuntu apt - python3-cryptominisat - 5.11.15+dfsg1-1.1build1: normalized package name match | Ubuntu 24.04 LTS package indexes: python3-cryptominisat from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Python bindings for the CryptoMiniSat SAT solver (Python 3) | https://www.msoos.org/ - dnf - cryptominisat - 5.14.7-3.fc45: normalized package name match | Fedora Rawhide package metadata: cryptominisat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | SAT solver | https://www.msoos.org/ - dnf - cryptominisat-devel - 5.14.7-3.fc45: normalized package name match | Fedora Rawhide package metadata: cryptominisat-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Header files for developing with cryptominisat | https://www.msoos.org/ - dnf - cryptominisat-libs - 5.14.7-3.fc45: normalized package name match | Fedora Rawhide package metadata: cryptominisat-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Cryptominisat library | https://www.msoos.org/ - dnf - python3-pycryptosat - 5.14.7-3.fc45: normalized package name match | Fedora Rawhide package metadata: python3-pycryptosat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst | Python 3 interface to cryptominisat | https://www.msoos.org/ - pacman - cryptominisat - 5.14.7-1: normalized package name match | Arch Linux sync databases: cryptominisat from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | A modern, multi-threaded, feature-rich, simplifying SAT solver | https://github.com/msoos/cryptominisat/ ## Liens liés - [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Networking and protocol packages](https://pkg.so/fr/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [Scientific computing packages](https://pkg.so/fr/scientific-computing-tools/) - Matched scientific computing metadata. - [Homebrew utility packages](https://pkg.so/fr/brew-utility-packages/) - Matched Homebrew package provider. - [python@3.14](https://pkg.so/fr/brew/python-3-14/) - Build dependency declared by Homebrew. - [pkgconf](https://pkg.so/fr/brew/pkgconf/) - Build dependency declared by Homebrew. - [cmake](https://pkg.so/fr/brew/cmake/) - Build dependency declared by Homebrew. - [stp](https://pkg.so/fr/brew/stp/) - Popular package that depends on this formula. - [klee](https://pkg.so/fr/brew/klee/) - Popular package that depends on this formula. - [ipopt](https://pkg.so/fr/brew/ipopt/) - Shares pkgdb curated category or tags: cli, optimization, science, solver. - [scip](https://pkg.so/fr/brew/scip/) - Shares pkgdb curated category or tags: cli, optimization, science, solver. - [cbc](https://pkg.so/fr/brew/cbc/) - Shares pkgdb curated category or tags: cli, optimization, science, solver. - [clp](https://pkg.so/fr/brew/clp/) - Shares pkgdb curated category or tags: cli, optimization, science, solver. - [soplex](https://pkg.so/fr/brew/soplex/) - Shares pkgdb curated category or tags: cli, optimization, science, solver. - [cadical](https://pkg.so/fr/brew/cadical/) - Shares pkgdb curated category or tags: cli, sat-solver, satisfiability, science, solver. - [lp_solve](https://pkg.so/fr/brew/lp-solve/) - Shares pkgdb curated category or tags: cli, optimization, science, solver. - [kissat](https://pkg.so/fr/brew/kissat/) - Shares pkgdb curated category or tags: boolean-satisfiability, cli, sat-solver, science. - [or-tools](https://pkg.so/fr/brew/or-tools/) - Local package facts share a topical domain. Shared terms: cli, gmp, optimization, sat, science. ## Combined YAML source View the package source record on GitHub. [combined/cryptominisat.yml](https://github.com/mxcl/pkgdb/blob/main/combined/cryptominisat.yml) ## Sources - pkg.so package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph