I have a model written in IBM Ilog Script, invoking and using CP optimizer [first line is using CP;]. IBM Optimization Studio reports 1 solution, but when reviewing the variables and constraints, the values don't compute.

For example, a decision variable (dec3) equals -10, but the two decision variables (dec1 and dec2) don't add to -10 (call this constraint1). This occurs multiple times over other constraints involving other decision variables.

ct 1: dec1 + dec2 == dec3;

Yet, this is the solution I'm being provided with. There is nothing displayed in the relaxation tab. I don't get any errors that might suggest the programming language used is problematic, or any other issues.

Is this supposed to be how it works?

Hi,

can you share a small model so that other users could try ?

And just to be sure , do you get the same issue if you turn

ct 1: dec1 + dec2 == dec3;

into

 dec1 + dec2 == dec3;

?

regards

------------------------------
[Alex] [Fleischer]
[Data and AI Technical Sales]
[IBM]
------------------------------