GitHub repository: mihirchhiber/SAT-Solver
Created: 2020-11-01T06:43:59Z
Description: Created a SAT Solver using DPLL Algorithm for 2D competition in university. It was able to compute the large test case in 971ms