Automatically generated algorithms for the vertex coloring problem.

Automatically generated algorithms for the vertex coloring problem.