A graph-coloring library