GitHub repository: Alex-Andrv/Maple_LCM_Dist_Chrono_with_redis
Primary language: C++
Description: BEST SAT SOLVER EVER 2019