GitHub repository: wilmhit/elegant-graph-coloring
Primary language: Python
Created: 2021-04-17T13:56:39Z
Description: Elegant graph coloring using python and miniZinc