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