graph-color-minizinc A Minizinc model for minimal graph (map) coloring problem Running You can run this model using something like minizinc -n 2 -s solver.mzn data.dzn