etr217

the coloring feature sometimes makes errors. I have a three colorable graph which it says is four colorable: The adjacency matrix is here if you want to try it yourself:...