Originally posted by: k_ka

Hello everyone,

Is it possible to assign a specific value to the decision variables?

For example, 
I want to assign the value of array a[1..5].

int a[1..5] = [1, 3, 10, 24, 60];

dvar int x; // 1 or 3 or 10 or 24 or 60

Hi

 int a[1..5] = [1, 3, 10, 24, 60];

dvar int x; // 1 or 3 or 10 or 24 or 60

subject to
{
1==sum(i in 1..5) (x==a[i]);
}

regards

Originally posted by: k_ka

Thanks to you, the problem has been solved.