Open librarianmage opened 11 months ago
It would be nice if global_cardinality/3 supported CLP(Z) variables as keys. This would allow one to express more general permutations without needing to know the values of the list (e.g. two of one number and three of another).
global_cardinality/3
It would be nice if
global_cardinality/3supported CLP(Z) variables as keys. This would allow one to express more general permutations without needing to know the values of the list (e.g. two of one number and three of another).