ParSAT

Welcome to ParSAT

Welcome to ParSAT! Our project is implementing an efficient parallel SAT solver with a customizeable number of variables, number of clauses, and clause length. Feel free to browse around!