[graph-tool] Re: Interactive graph visualization with gravis