macOS
Homebrewverified · 100%
brew install cryptominisatlocal Homebrew formula metadata
brew
Install cryptominisat with Homebrew, apt, dnf, Nix, pacman
Advanced SAT solver. Version 5.14.7 via Homebrew; verified 2026-06-27.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install cryptominisatDebian stable package indexes · cryptominisat · source: deb.debian.org
Fedora dnfverified · 92%
sudo dnf install cryptominisatFedora Rawhide package metadata · cryptominisat · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#cryptominisatnixpkgs package indexes · pkgs/by-name/cr/cryptominisat/package.nix · source: api.github.com
Arch Linux pacmanverified · 92%
sudo pacman -S cryptominisatArch Linux sync databases · cryptominisat · source: geo.mirror.pkgbuild.com
overview
Package summary
Advanced SAT solver
Project links
Commands and aliases
- cryptominisat5
- oracle
history
Project history and usage
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.
Project history
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.
Adoption history
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.
How it is used
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.
Why package nerds care
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.
Timeline
- 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
security posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installs with 1 runtime dependencies.
- Build metadata lists 3 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
cryptominisat5 | cli | global executable | |
oracle | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version5.14.7
manager updated2026-06-27
local dataok
upstreamcurrent
latest detectedrelease/v5.14.7
https://github.com/msoos/cryptominisat
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:cryptominisat |
|---|---|
| Version | 5.14.7 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/cryptominisat |
| Homepage | https://www.msoos.org/cryptominisat5/ |
| Repository | https://github.com/msoos/cryptominisat |
| Upstream docs | https://github.com/msoos/cryptominisat#readme |
| License | MIT |
| Source archive | https://github.com/msoos/cryptominisat/archive/refs/tags/release/v5.14.7.tar.gz |
| Last updated | 2026-06-27T15:33:34Z |
| Pulse | updated |
| Dependencies | gmp |
| Build dependencies | cmake, pkgconf, python@3.14 |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| 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 |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
cryptominisat 5.11.21+dfsg1-2
SAT solver command line interface
sudo apt install cryptominisat- Section: math
- Architecture: amd64
- 5 dependencies
- normalized package name match
- Matched by: Cryptominisat
Debian apt95%
libcryptominisat5-5.11t64 5.11.21+dfsg1-2
SAT solver library
sudo apt install libcryptominisat5-5.11t64- Section: libs
- Architecture: amd64
- Source Package: cryptominisat
- 3 dependencies
- 1 provides
- normalized package name match
- Matched by: Cryptominisat
Debian apt95%
libcryptominisat5-dev 5.11.21+dfsg1-2
development files for the CryptoMiniSat SAT solver
sudo apt install libcryptominisat5-dev- Section: libdevel
- Architecture: amd64
- Source Package: cryptominisat
- 1 dependencies
- normalized package name match
- Matched by: Cryptominisat
Debian apt95%
python3-cryptominisat 5.11.21+dfsg1-2
Python bindings for the CryptoMiniSat SAT solver (Python 3)
sudo apt install python3-cryptominisat- Section: python
- Architecture: amd64
- Source Package: cryptominisat
- 4 dependencies
- normalized package name match
- Matched by: Cryptominisat
Nix95%
cryptominisat
nix profile install nixpkgs#cryptominisat- normalized package name match
- Matched by: Cryptominisat
Ubuntu apt95%
cryptominisat 5.11.15+dfsg1-1.1build1
SAT solver command line interface
sudo apt install cryptominisat- Section: universe/math
- Architecture: amd64
- 6 dependencies
- normalized package name match
- Matched by: Cryptominisat
Ubuntu apt95%
libcryptominisat5-5.11t64 5.11.15+dfsg1-1.1build1
SAT solver library
sudo apt install libcryptominisat5-5.11t64- Section: universe/libs
- Architecture: amd64
- Source Package: cryptominisat
- 3 dependencies
- 1 provides
- normalized package name match
- Matched by: Cryptominisat
Ubuntu apt95%
libcryptominisat5-dev 5.11.15+dfsg1-1.1build1
development files for the CryptoMiniSat SAT solver
sudo apt install libcryptominisat5-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: cryptominisat
- 1 dependencies
- normalized package name match
- Matched by: Cryptominisat
Ubuntu apt95%
python3-cryptominisat 5.11.15+dfsg1-1.1build1
Python bindings for the CryptoMiniSat SAT solver (Python 3)
sudo apt install python3-cryptominisat- Section: universe/python
- Architecture: amd64
- Source Package: cryptominisat
- 4 dependencies
- normalized package name match
- Matched by: Cryptominisat
dnf95%
cryptominisat 5.14.5-2.fc45
SAT solver
sudo dnf install cryptominisat- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: cryptominisat
- 10 dependencies
- 1 provides
- normalized package name match
- Matched by: Cryptominisat
dnf95%
cryptominisat-devel 5.14.5-2.fc45
Header files for developing with cryptominisat
sudo dnf install cryptominisat-devel- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: cryptominisat
- 6 dependencies
- 2 provides
- normalized package name match
- Matched by: Cryptominisat
dnf95%
cryptominisat-libs 5.14.5-2.fc45
Cryptominisat library
sudo dnf install cryptominisat-libs- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: cryptominisat
- 8 dependencies
- 4 provides
- normalized package name match
- Matched by: Cryptominisat
dnf95%
python3-pycryptosat 5.14.5-2.fc45
Python 3 interface to cryptominisat
sudo dnf install python3-pycryptosat- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: cryptominisat
- 7 dependencies
- 5 provides
- normalized package name match
- Matched by: Cryptominisat
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 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Cryptominisat
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- 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