Non-linear constraints

(!****************************************************************
   CP example problems
   ===================
   
   file nonlinctr.mos
   ``````````````````
   Nonlinear constraints over discrete and continuous
   variables.

   (c) 2008 Artelys S.A. and Fair Isaac Corporation
       Creation: 2005, rev. Mar. 2013        
*****************************************************************!)

model "Nonlinear constraints"
 uses "kalis"
 
 setparam("KALIS_DEFAULT_LB", 0)
 setparam("KALIS_DEFAULT_UB", 5)
 setparam("KALIS_DEFAULT_CONTINUOUS_LB", -10)
 setparam("KALIS_DEFAULT_CONTINUOUS_UB", 10) 
 
 declarations
  a,b,c: cpvar
  x,y,z: cpfloatvar
 end-declarations 
 
 x = ln(y)
 y = abs(z)
 x*y <= z^2
 z = -a/b
 a*b*c^3 >= 150
 
 while (cp_find_next_sol) 
  writeln("a:", getsol(a), ", b:", getsol(b), ", c:", getsol(c),
         ", x:", getsol(x), ", y:", getsol(y), ", z:", getsol(z))
 
end-model