Davis putnam algorithm for satisfiability...

varun7rs at gmail.com varun7rs at gmail.com
Tue Aug 5 10:03:50 EDT 2014


Thank you Cameron. Your post was very helpful. If you don't mind I'd like to ask you the purpose of the final list in the very beginning of the code. It is being updated and then checked for the presence of a literal. If a literal is found it returns not equivalent. Could you brief me the use of a final list?



More information about the Python-list mailing list