For example, you could use min(i in (0..nb_toys-1)) ((toy_var[i]>=1)*toy_var[i] +(toy_var[i]<=0) * BIG_NUMBER):
using CP;
int nb_toys = 4;
int BIG = 100000;
dvar int toy_var[0..nb_toys-1];
minimize min(i in (0..nb_toys-1)) ((toy_var[i]>=1)*toy_var[i] +(toy_var[i]<=0) * BIG);
subject to {
toy_var[0] >= 3;
toy_var[1] <= -1;
toy_var[2] >= 5;
toy_var[3] >= 1;
};
------------------------------
Olivier Lhomme
------------------------------