Add Joe's toolkit for Graph Coloring