title: How can I calculate the girth of a graph using graph-tool?
body: <p>Graph-tool offers a lot of tools for assessing a graph: <a href="https://graph-tool.skewed.de/static/doc/topology.html" rel="nofollow noreferrer">https://graph-tool.skewed.de/static/doc/topology.html</a>. However, I can't find any method for calculating the girth, i.e., the shortest cycle in the graph.</p>
  
  <p>Do you know if there exists an appropriate method or if I can use the existing ones to come up with an efficient calculation?</p>