59bcfa39-5c97-4af6-bcdf-f8cecf58322f
FR bounds a[1]
...
IF c1_2 a[1] 0a[1] is the binary variable in an indicator constraint, but defined as a free variable in the bounds section.
FR bounds a[1]
...
IF c1_2 a[1] 0a[1] is the binary variable in an indicator constraint, but defined as a free variable in the bounds section.