answered 7 years ago
Also posted at https://stackoverflow.com/questions/45257476/how-to-graph-all-graph-colorings-in-sagemath