The warmstart model

Presents the variables and constraints of warmstart.mod.

The warmstart.mod model file defines the following variables and constraints.

Variables

range r = 1..10;
dvar int+ x[r];
dvar int+ y[r];

Constraints

minimize 
  sum( i in r ) x[i] + sum( j in r ) y[j];
subject to{
  ctSum:    
    sum( i in r ) x[i] >= 10;
  forall( j in r )
    ctEqual:
      y[j] == j;
}

This model has a lot of different possible solutions with the same objective. The purpose of the example is to show that the solution returned by CPLEX can be influenced by the initial solution you pass to the solving engine.