fgl-5.7.0.3: Martin Erwig's Functional Graph Library