[jgrapht-users] Importing DOT

[T. A. L. <Tim...@wi...>]

I noticed that there is a way to export graphs to DOT files. Is there a way to import those DOT files back into graphs?