[graph-tool] How to perform edge contraction?

Hi, I came across this library looking for an efficiently implemented graph library and it looks awesome. One of the tasks I'd like to perform is efficient edge contraction, where I remove an edge from the graph and merge the two nodes joined by that edge, and then merge all the incident edges to those nodes. I'd like to do this "dynamically", where I may iterate through a list of edges and selectively collapse some of them (skipping ones which have already been merged). Any suggestions on how to perform this with graph-tools? -- Sent from: https://nabble.skewed.de/