Description:
Clean and efficient state-of-the-art SAT solver
|
|
Type: Formula
|
Latest Version: 2.2.1@0
|
Tracked Since: Dec 17, 2025
|
|
Links:
Homepage |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
sat-solver
formal-verification
logic
constraint-solving
c++
|
|
Install:
brew install cadical
|
About:
CaDiCaL is a state-of-the-art SAT solver designed for high performance and reliability. It serves as a robust backend for verification tools, offering a clean API and efficient handling of complex logical formulas. Its primary value is providing a fast and stable engine for solving satisfiability problems.
|
Key Features:
- High-performance SAT solving
- Clean and simple C API
- Incremental solving support
- Proof generation capabilities
- Extensive testing and validation
|
Use Cases:
- Hardware verification and model checking
- Software analysis and testing
- Solving constraint satisfaction problems
- Academic research in automated reasoning
|
Alternatives:
-
Kissat
– Another top-performing SAT solver from the same research group, often used for different performance trade-offs.
-
Glucose
– A popular SAT solver known for its clause management strategies and good performance on industrial benchmarks.
|
| Detected |
Version |
Rev |
Change |
Commit |
| Dec 23, 2025 1:41pm |
2.2.1 |
0 |
VERSION_BUMP |
c6c2970a |
| Nov 19, 2025 9:18pm |
|
0 |
VERSION_BUMP |
1b4f18d9 |
| Nov 19, 2025 8:38pm |
|
0 |
VERSION_BUMP |
e1328150 |
| Sep 12, 2025 4:24pm |
|
0 |
VERSION_BUMP |
e095e063 |
| Dec 19, 2024 4:51pm |
|
0 |
VERSION_BUMP |
9922c4ae |
| Sep 11, 2024 11:05am |
|
0 |
VERSION_BUMP |
f225f832 |
| Jan 18, 2024 3:26am |
|
0 |
VERSION_BUMP |
b1474e87 |
| Dec 18, 2023 6:27pm |
|
0 |
VERSION_BUMP |
9ac53c17 |
| Dec 17, 2023 6:42pm |
|
0 |
VERSION_BUMP |
dd4139ed |
| Nov 28, 2023 6:27pm |
|
0 |
VERSION_BUMP |
3e22d181 |
| Oct 3, 2023 12:44pm |
|
0 |
VERSION_BUMP |
f343ed0a |
| Sep 30, 2023 8:25am |
|
0 |
VERSION_BUMP |
6b628701 |
| Sep 11, 2023 2:19pm |
|
0 |
VERSION_BUMP |
8220c3aa |
| Sep 11, 2023 1:23pm |
|
0 |
VERSION_BUMP |
e0f71094 |
|