Re: Davis putnam algorithm for satisfiability...

[varun7rs]

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?
-- 
https://mail.python.org/mailman/listinfo/python-list