(!*******************************************************
   Mosel Example Problems 
   ======================

   file indices.mos
   ````````````````
   Index subsets.
       
   (c) 2002 Dash Associates
       author: S. Heipcke
*******************************************************!)

model "Indices"

 declarations
  I: array(1..4) of integer
  x: array(1..10) of mpvar
  y: array(1..4) of mpvar
 end-declarations 

 I:: [2, 5, 8, 10]

 Obj:= sum(i in 1..10) x(i) + sum(j in 1..4) y(j)

 sum(i in 1..10) x(i) <= 5
 
 forall(j in 1..4) x(I(j)) = y(j)

 forall(i in 1..10) x(i) is_binary

 exportprob(0, "", Obj)
end-model