Kissat is a "keep it simple and clean bare metal SAT solver" written
in C. It is a port of CaDiCaL back to C with improved data
structures, better scheduling of inprocessing and optimized
algorithms and implementation.

Coincidentally "kissat" also means "cats" in Finnish.

You can get more information about Kissat in the last solver
description for the SAT Competition 2022:

Armin Biere and Mathias Fleury. Gimsatul, IsaSAT and Kissat entering
the SAT Competition 2022. In Proc. of SAT Competition 2022 - Solver
and Benchmark Descriptions, Tomas Balyo, Marijn Heule, Markus Iser,
Matti Järvisalo, Martin Suda (editors), vol. B-2022-1 of Department
of Computer Science Report Series B, pages 10-11, University of
Helsinki, 2022. 
