Stream: graph theory
Kyle Miller (Aug 24 2020 at 22:37):
The #3458 PR might finally get in sometime soon. I figure it's better to get that in sooner than later since it's a reasonably solid basic simple graphs library that a number of people seem to have based some work on. I also figure that, wherever our experiments might lead us, it'll be a manageable amount of work updating things.
Jalex Stark (Aug 24 2020 at 23:16):
actually now it's only waiting for @Aaron Anderson to check that Kyle made the final edit request by Bryan, and then Aaron can hit
bors r+ to kick it on the queue.
Kyle Miller (Aug 24 2020 at 23:59):
And it's in!
Last updated: May 08 2021 at 23:10 UTC