// 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())); }
public static IntExpr Element(this long[] array, IntExpr index) { return(index.solver().MakeElement(array, index.Var())); }