Implementing the Backtracking to exhibit the satisfying assignments.

[jpfairbanks]

Once we have decided on the existence of the coloring, we need to do backtracking to find it.

[samuelsonric]

All the packages we benchmark against are producing colorings (not just yes/no).