Source Package kissat

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

kissat - Keep It Simple SAT solver
kissat-devel - Development files for kissat
kissat-libs - Keep It Simple SAT solver library

Sources on Pagure