// count of all vars. public static Constraint Count(this IntVar[] vars, long value, IntExpr count) { Solver solver = GetSolver(vars); return(solver.MakeCount(vars, value, count.Var())); }