3 ms·
The default is a graph coloring algorithm. Well actually a "recoloring" algorithm due to its SSA-based nature. There is also an ILP one, which is only useful f
by qznc 10y ago
The default is a graph coloring algorithm. Well actually a "recoloring" algorithm due to its SSA-based nature.
There is also an ILP one, which is only useful for comparison.