Description:
Advanced SAT solver
|
|
Type: Formula
|
Latest Version: 1652f668becc717eb14c184a727864c1937082d6@0
|
Tracked Since: Dec 17, 2025
|
|
Links:
Homepage |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
sat-solver
formal-verification
cryptography
logic
automation
|
|
Install:
brew install cryptominisat
|
About:
CryptoMiniSat is a high-performance SAT solver that won multiple international competitions. It features advanced algorithms for solving Boolean satisfiability problems efficiently, including clause learning and parallel execution. The tool is widely used in electronic design automation, cryptography, and AI research for complex logical problem solving.
|
Key Features:
- High-performance conflict-driven clause learning
- Parallel and incremental solving capabilities
- Support for cryptographic and circuit SAT problems
- Winner of multiple SAT competitions
|
Use Cases:
- Hardware verification and electronic design automation
- Cryptographic analysis and vulnerability detection
- AI planning and constraint satisfaction problems
|
Alternatives:
-
Glucose SAT Solver
– Glucose focuses on simplicity and performance, while CryptoMiniSat offers specialized cryptographic features
-
MiniSat
– MiniSat is the foundational solver; CryptoMiniSat extends it with modern optimizations and crypto-specific enhancements
|
|
License: MIT
|
|
Dependencies: gmp
|
|
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, sonoma, arm64_linux, x86_64_linux
|
| Detected |
Version |
Rev |
Change |
Commit |
| Apr 5, 2026 1:06am |
1652f668becc717eb14c184a727864c1937082d6 |
0 |
VERSION_BUMP |
e522d541 |
| Apr 3, 2026 2:51pm |
25c12aac83fd2f8627ca5c9a82cd864feea8783f |
0 |
VERSION_BUMP |
aab0fe2a |
| Mar 15, 2026 1:11am |
8fcb8139c453e7cb85c470cea5d783db8e229518 |
1 |
VERSION_BUMP |
6f065cad |
| Oct 17, 2025 7:48pm |
|
0 |
VERSION_BUMP |
6f8449bb |
| Sep 11, 2025 2:34am |
|
0 |
VERSION_BUMP |
319f61e8 |
| Oct 13, 2024 4:57pm |
|
0 |
VERSION_BUMP |
354a2516 |
| Aug 31, 2024 4:04pm |
|
0 |
VERSION_BUMP |
d5ce4aa0 |
| Feb 10, 2024 9:20pm |
|
0 |
VERSION_BUMP |
bc06f9e3 |
| Feb 10, 2024 8:55am |
|
0 |
VERSION_BUMP |
08651aa7 |
| Jan 25, 2024 10:36pm |
|
2 |
VERSION_BUMP |
0642e447 |
| Jan 24, 2024 10:43pm |
|
2 |
VERSION_BUMP |
3a82a471 |
| Oct 23, 2023 2:19am |
|
1 |
VERSION_BUMP |
9a069c55 |
| Oct 23, 2023 2:19am |
|
1 |
VERSION_BUMP |
043e9274 |
| Sep 21, 2023 2:56pm |
|
0 |
VERSION_BUMP |
f996a9f1 |
| Aug 12, 2023 1:15am |
|
0 |
VERSION_BUMP |
f3974d13 |
| Aug 11, 2023 4:43pm |
|
0 |
VERSION_BUMP |
9b7f1c52 |
|