[Openflipper] Edge coloring