3 ms·Didn't have this while implementing exact graph coloring, made it myself in the end.by nsajko 5y agoDidn't have this while implementing exact graph coloring, made it myself in the end.