GitHub repository: mballance/cadical_win32
Primary language: C++
Description: CaDiCaL SAT Solver