Re: [graph-tool] How to use graph-tool to create and modify graphs dynamically?