Add the first FreeFlow solver - heavy coloring