CDCL SAT Solver implemented in C++ using watches and restarts
Repository from Github https://github.comsn2727/cdcl-sat-solverRepository from Github https://github.comsn2727/cdcl-sat-solver