Availability:
:- use_module(library(clpfd)).
global_cardinality(+Vs,
+Pairs)global_cardinality(Vs, Pairs, []). See global_cardinality/3.
Example:
?- Vs = [_,_,_], global_cardinality(Vs, [1-2,3-_]), label(Vs). Vs = [1, 1, 3] ; Vs = [1, 3, 1] ; Vs = [3, 1, 1].