If I may hijack a bit this thread, I am currently looking for an optimization solver for a specific goal : I wish to constraint the values of variables so that

If I may hijack a bit this thread, I am currently looking for an optimization solver for a specific goal : I wish to constraint the values of variables so that tuples of variables are unique within sets of tuples. Cf. https://stackoverflow.com/questions/71878354/constraint-programming-to-ensure-uniqueness-of-tuples-of-variables-while-minimiz https://stackoverflow.com/questions/71878354/constraint-prog... For now, I could not find anything satisfactory, so any recommendation would be most welcome. Otherwise, I guess I'll have to generate a variable for each tuple and use and all_different (e.g. https://cpmpy.readthedocs.io/en/latest/api/expressions/globalconstraints.html#cpmpy.expressions.globalconstraints.AllDifferent https://cpmpy.readthedocs.io/en/latest/api/expressions/globa... ) on those.