graph coloring: print runtime
"name": "stdout",
"output_type": "stream",
"text": [
+ "ExitStatus.OPTIMAL (0.0010653330000000001 seconds) \n",
+ "\n",
"NSW -- green\n",
"WA -- red\n",
"NT -- green\n",
" m += ( variable[state1] != variable[state2] )\n",
"\n",
"m.solve()\n",
+ "print(m.status(), \"\\n\")\n",
"for name, var in variable.items():\n",
" print(name, \" -- \", colors[var.value()])"
]
