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.

SRPMS

kissat-0-1.sc2020.fc33.src.rpm

SPECS

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