8 lines
69 B
Text
8 lines
69 B
Text
load(graphs)$
|
|
|
|
g: random_tree(10)$
|
|
|
|
is_tree(g);
|
|
true
|
|
|
|
draw_graph(g)$
|