Algo2. Assignment 6. 2-SAT Algorithm testcases
Algo2. Assignment 6. Papadimitriou's 2-SAT Algorithm.
Algo2. Assignment 6. 2-satisfiability problem. Coded formula simplification as a prestep. Works well.