minisat ☆

« Back to VersTracker

Description:
Minimalistic and high-performance SAT solver

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: sat-solver verification algorithm research c++

Install: brew install minisat

About:
Minisat is a minimalist yet powerful SAT solver designed for solving Boolean satisfiability problems. It serves as a foundational tool for academic research and industrial applications in automated reasoning and verification. Its clean codebase and efficient performance make it a benchmark for developing and testing new constraint solving algorithms.

Key Features:

Lightweight and clean C++ codebase
High-performance conflict-driven clause learning
Extensible architecture for custom solvers
Standard DIMACS input/output format support

Use Cases:

Academic research in automated theorem proving
Hardware and software verification
AI planning and constraint satisfaction problems

Alternatives:

Glucose – Glucose is a SAT solver based on Minisat, focusing on parallelism and performance improvements.
Z3 – Z3 is a more comprehensive SMT solver that supports theories beyond pure Boolean logic, making it heavier than Minisat.

Version History

Detected	Version	Rev	Change	Commit
Sep 11, 2025 6:54am		0	VERSION_BUMP	ae803c85