Branch-and-price code using ZDDs for solving the graph coloring problem