Package kissat

Keep It Simple SAT solver

http://fmv.jku.at/kissat/

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.

This package contains a command-line interface to KISSAT.

General Commands

kissat manual page for kissat 1.0.3