GraphViz is a collection of tools ... then we have a directed graph. If the edges E are unordered pairs of vertices, we have an undirected graph (see Resources). To make a binary tree using dot, we ...