sci-mathematics@gentoo.org Gentoo Mathematics Project 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. https://github.com/arminbiere/kissat//issues/ arminbiere/kissat