fgl-5.5.4.0: Martin Erwig's Functional Graph Library