/SATSolver

A SAT Solver coded up in C++, Final Project for CMPUT 275

Primary LanguageC++MIT LicenseMIT

Stargazers