public static Constraint Transition(this IntVar[] vars, IntTupleSet transitions,
long initial_state, int[] final_states)
{
Solver solver = GetSolver(vars);
return(solver.MakeTransitionConstraint(vars, transitions, initial_state, final_states));
}