GitHub repository: meelgroup/cadiback
Description: CaDiCaL BackBone Analyzer