Changed the entire PL resolution algorithm by referencing the sample code, this is the working version
Changed the entire PL resolution algorithm by referencing the sample code, this is the working version

lxjuly/aiwalksat