cryptominisat ☆

« Back to VersTracker

Description:
Advanced SAT solver

Type: Formula | Latest Version: 8fcb8139c453e7cb85c470cea5d783db8e229518@1 | 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
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