kissat ☆

« Back to VersTracker

Description:
Bare metal SAT solver

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: sat-solver formal-verification c constraint-solving algorithm

Install: brew install kissat

About:
Kissat is a high-performance SAT solver designed for speed and efficiency. It serves as a compact and easy-to-use solver, acting as the successor to the CaDiCaL project. Its bare-metal approach provides a fast and reliable engine for solving Boolean satisfiability problems.

Key Features:

High-performance SAT solving
Compact and easy to integrate
Successor to the CaDiCaL solver
Written in C for efficiency

Use Cases:

Formal verification of software and hardware
Solving complex constraint satisfaction problems
AI planning and reasoning systems

Alternatives:

CaDiCaL – Kissat is the direct successor, often featuring refined strategies and performance improvements.
Glucose – A popular SAT solver known for its clause learning strategies, often used as a benchmark.

Version History

Detected	Version	Rev	Change	Commit
Sep 12, 2025 9:15am		0	VERSION_BUMP	f4ca36c0