graph-coloring library