Kissat sc2020

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.




For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS

Last modified: Tue Jun 23 14:05:31 MDT 2020 by Jerry James