Yup, I wrote a C++ implementation of the entire thing during my compiler class. https://github.com/jargnar/graph-coloring

Fun times!