kissat - 4.0.2-1 main

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.
.
This package contains binaries needed to use Kissat as a stand-alone
tool.