GitHub repository: liam-gersten/parallel-sat-solver
Primary language: C++
Created: 2024-03-26T16:25:15Z
Description: A C++ parallel SAT solver for 15-418's final project