JGraphT - A Java Library for Graph Data Structures and Algorithms. - Dimitrios Michail 001; Joris Kinable; Barak Naveh; John V. Sichi (ACM Trans. Math. Softw., 2020)