List edge coloring (source code)

= List edge coloring

Each <edge> has a list of allowed colors; a list edge coloring chooses an allowed color on each edge, giving different colors to incident edges. The <list-chromatic index> is the uniform list-size threshold guaranteeing success.