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

  file expl3.mos
  ``````````````
  Small infeasible problem from BCL User Guide.

  (c) 2001 Dash Associates
      author: S.Heipcke
*********************************************************!)

model Expl3

 uses "mmxprs"

 declarations
  N = 2
  x: array(1..N) of mpvar
 end-declarations
  
 MinObj:= sum(i in 1..N) x(i)

 C1:= 2*x(1) + 3*x(2) >= 41
 C2:=   x(1) + 2*x(2)  = 13 

 forall(i in 1..N) do
  x(i) is_integer 
  x(i) <= 100
 end-do

 minimize(MinObj)

end-model