A Java library of graph algorithms and optimization. (©2007)