(!****************************************************************
   CP example problems
   ===================
   
   file distance.mos
   `````````````````
   Abs and distance constraints.

   (c) 2008 Artelys S.A. and Fair Isaac Corporation
       Creation: 2005, rev. Mar. 2013
*****************************************************************!)
model "Distance constraints"
 uses "kalis"
 
 setparam("KALIS_DEFAULT_LB", -50); setparam("KALIS_DEFAULT_UB", 50)

 declarations
  x, y, z: cpvar
  Dist: cpctr
 end-declarations  
  
 setname(x,"x")
 setname(y,"y")
 setname(z,"z")

 abs(x) = y
 writeln("Absolute value of x: ", x,y,z)

 y >= 20
 writeln("Bounding y by 20: ", x,y,z)
  
! abs(y-z) <= 3
! Equivalent version of this constraint:
 distance(y,z) <= 3

 writeln("Max distance betw. y and z: ", x,y,z)
 
 Dist:= distance(x,z) = 5
 
 if(cp_post(Dist)) then
  writeln("Distance between x and z: ", x,y,z) 
 else
  writeln("Problem is infeasible")
 end-if
 
 cp_show_prob

end-model