[code] AddAMOConstraints also performs singleton consistency with constructive...

[code] AddAMOConstraints also performs singleton consistency with constructive disjunction for free ; sorts vertices by conflict graph degree and current cliques by decreasing size when building a clique cover (to be improved by graph coloring heuristics like dsatur on the complementary graph)