Graph editor
Internally, uses DOT-strings, Elm, and API of quickchart.io
Notes
Please, provide
alphanumeric
values
Non-existing vertices will be added automatically
Press on the corresponding button to insert or remove an edge
Vertices in graph should be named uniquely
Parallel edges in graph are disallowed
Resulting graph
From
To
Edge label
Edge type
dashed
solid
Insert edge
From
To
Remove edge
Current DOT-string