global_cardinality_table.fzn 4.33 KB