Re: [Openflipper] Edge coloring