python graph-tool access vertex properties
For my current project I want to use the graph-tool library since they claim being the fastest: https://graph-tool.skewed.de/performance . I have some algorithms (shortest path, etc.) to run on really large networks, so the faster the better! First question: Is this claim 'being the fastest' true? ;) While trying to build a graph-tool graph fitting my needs, I figured out that its not possible to access vertex properties in a efficient way. Maybe I missed something? My question is now, can the function "getVertexFromGraph(graph, position)" be written in a more efficient way? Or more in general