If two vertices have the same String output, then sort by pointer string instead. This makes display of certain graphs more deterministic.
If two vertices have the same String output, then sort by pointer string instead. This makes display of certain graphs more deterministic.