I've two graphs (.dot files) and I need to check if they are isomorphic or
not. Do you have an example explaining how to load these files and check
them in graph-tool?
a = load_graph("a.dot")
b = load_graph("b.dot")