If we think of each even-numbered vertex as a variable, and its odd-numbered successor as its negation, then we can build the implication graph corresponding to any 2-CNF formula. Note that u||v == !u -> v == !v -> u.
(&mut self, u: usize, v: usize)
source not stored for this graph (policy: none)