cadical ☆
« Back to VersTracker
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.
Version History
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
« Back to VersTracker  |  Browse Packages  |  About