brew

cryptominisat mit Homebrew, apt, dnf, Nix, pacman installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für cryptominisat in AI-Agent-Workflows.

Installationsbefehl Sicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install cryptominisat

local Homebrew formula metadata

Linux

Debian aptverifiziert · 92%

sudo apt install cryptominisat

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

Fedora dnfverifiziert · 92%

sudo dnf install cryptominisat

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

Nixverifiziert · 92%

nix profile install nixpkgs#cryptominisat

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

Arch Linux pacmanverifiziert · 92%

sudo pacman -S cryptominisat

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

Überblick

Paketzusammenfassung

Advanced SAT solver

Projektlinks

Befehle und Aliase

cryptominisat5
oracle

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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.

Quellen

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Installiert mit 1 Laufzeitabhängigkeiten.
Build-Metadaten listen 3 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`cryptominisat5`	cli	globales Executable
`oracle`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-10

Manager-Version5.14.7

Manager aktualisiert2026-06-27

lokale DatenOK

Upstreamaktuell

neueste erkannte Versionrelease/v5.14.7

https://github.com/msoos/cryptominisat

OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:cryptominisat
Version	5.14.7
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/cryptominisat
Homepage	https://www.msoos.org/cryptominisat5/
Repository	https://github.com/msoos/cryptominisat
Upstream-Dokumentation	https://github.com/msoos/cryptominisat#readme
Lizenz	MIT
Quellarchiv	https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.14.7.tar.gz
Zuletzt aktualisiert	2026-06-27T15:33:34Z
Pulse	updated
Abhängigkeiten	gmp
Build-Abhängigkeiten	cmake, pkgconf, python@3.14
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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
Abgeglichen nach: 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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
1 stellt bereit
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
2 stellt bereit
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
4 stellt bereit
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
5 stellt bereit
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
1 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: 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

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/cryptominisat.yml

Verwendete Quellen

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

cryptominisat mit Homebrew, apt, dnf, Nix, pacman installieren

Weitere Installationsbefehle

macOS

Linux

Paketzusammenfassung

Projektlinks

Befehle und Aliase

Projektgeschichte und Nutzung

Projektgeschichte

Adoptionsgeschichte

Wie es verwendet wird

Warum Paket-Nerds sich dafür interessieren

Zeitleiste

Related projects

Quellen

Risikostufe: grün

Risikoklassifikator

Warum

Signale

Installationsverhalten

Empfohlene Prüfung

Installierte Executables

Version und Aktualität

Paketmetadaten

Details aus der Quelldatenbank

Andere Paketmanager-Einträge

Interne Paketlinks

Themen-Hubs

Verwandte Tools

Gleicher Workflow

Agent-Sicherheitsleitfäden

Aus Repository-Daten generiert

Combined YAML source

Verwendete Quellen