show how to express global_cardinality/2 with reified constraints
show how to express global_cardinality/2 with reified constraints

edechter/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel