Watched Literals [5 points]

Add watched literals data structure to your DPLL solver with lazy watched literals data structure. If you had not done yet, use adjacency lists as an alternative and check on the benchmark examples how much does watched literals save on the number of checked clauses and running time. Write a short report on that.