Assignment 3

Uploading assignment 3.
PL resolver and SAT solver