You cannot submit for this problem because the homework's deadline is due.

Please check the project discription on Canvas.

Please compress your main.cpp, solver.cpp, cnf.cpp, and clause.cpp directly into a .zip or .tar file. Do not compress the directory.