I have a graph of dot format as String. I want to get its nodes, edges and their data for processing. I am looking for a Java library which processes a given dot format graph. An example would be appreciated.
digraph G { rankdir=TB
V1 [a=1, b=2, label="V1"];
V2 [a=4, b=0, label="V2"];
V3 [a=1, b=3, label="V3"];
V4 [a=3, b=7, label="V4"];
V1 -> V2 [path=a, label="a"];
V2 -> V3 [path=b, label="b"];
V1 -> V4 [path=c, label="c"];
V2 -> V4 [path=d, label="d"];
}