Project Four: SAT

Homework Introduction

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.

Problem

Status
Finished
Problems
1
Open Since
2020-11-12 00:00
DDL
2020-11-23 00:00
Extension
72.0 hour(s)