See the website for details: http://graph-tool.skewed.de