GitHub repository: uslsteen/sat_solver
Primary language: C++
Description: 9th semestr, MIPT base chair generalize programming course