Will never be used in practice with GreedyColoringAlgorithm, but one could imagine optimal colorings with JuMP, which would only output a vector of colors.

#71 contains a LinearSystemColoringResult, which is part of the answer in the symmetric case.