graph_solver (cargo): An undirected graph constraint solver for node and edge colors
Keywords: graph|advancedresearch|solver|theorem|theory