cryptominisat ☆
« Back to VersTracker
Description:
Advanced SAT solver
Type: Formula  |  Latest Version: 5.12.1@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
Version History
Detected Version Rev Change Commit
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
« Back to VersTracker  |  Browse Packages  |  About