Sushant-Padha

using JuMP
using ConstraintSolver
using Random: shuffle
const CS = ConstraintSolver

function my_global_cardinality_count(model, a, gcc)
    for (i, count) in enumerate(gcc)
        # my_count_ctr(model, x, val, s)
        my_count_ctr(model, a, i, count)
    end