Source from John M. Boyer copied from
https://github.com/graph-algorithms/edge-addition-planarity-suite
