Hi Tiago, hi all,
When an edge is removed from a graph,
it still occupies a place in the graphs EdgePropertyMap, leading
to the following being False
:
edge_prop.a.shape[0] == graph.num_edges()
Is there a way to circumvent this?
Best,
Guillaume