GitHub repository: meelgroup/cadical
Description: CaDiCaL SAT Solver