Mon, 26 Apr 2004 16:58:14 +0000For working with undirected graphs, head is changed to aNode.
marci [Mon, 26 Apr 2004 16:58:14 +0000] rev 421
For working with undirected graphs, head is changed to aNode.
Some dimacs doki.

Mon, 26 Apr 2004 16:21:36 +0000leda comparison files
marci [Mon, 26 Apr 2004 16:21:36 +0000] rev 420
leda comparison files