# DOT

For visualization purposes, we provide a way to dump a graph view to a DOT file to use in an external viewer.

## Writing

To write a graph to a file in the DOT format, use:

write_dot(G g, std::string filename);