Verify graph-coloring
Add graph-coloring library