4 ms·Solving 2-SAT4 points by pykello 1y agoyorwba 1y agoIn the Implication Graph section, most of the ∨ should be ∧ instead.