JGraphT

From MaRDI portal