結果 : python graph coloring library