Text this: A Java library of graph algorithms and optimization / Hang T. Lau.