Source Package cadical

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

cadical - Simplified SAT solver
cadical-devel - Development files for cadical
cadical-libs - Simplified SAT solver library

Sources on Pagure