<div dir="auto">Thank you! </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri., Jul. 9, 2021, 11:27 p.m. Henning Thielemann, <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Fri, 9 Jul 2021, Casey Hawthorne wrote:<br>
<br>
> What can I use for a weighted graph? I thought Data.Graph would work but I see no provision for edge weights?<br>
<br>
fgl or my comfort-graph package<br>
</blockquote></div>