kissat

Keep-it-simple and clean bare metal SAT solver written in C

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.

homepage ↗homepage ↗ github: arminbiere/kissat