There's a python library available online for graph coloring. It's called GCol. Full discosure: I wrote it.