Provides graph data structures and algorithms for coloring and fixed-point computations.