wrong behaviour of constraint v1141_m (and v1142_m) (COREP: C_16.00.a)

Question

v1141_m: if {r020,c070} > 0 then {r030,c010} > 0 or {r030,c020} > 0 or {r030,c030} > 0 or {r040,c010} > 0 or {r040,c020} > 0 or {r040,c030} > 0 or {r050,c010} > 0 or {r050,c020} > 0 or {r050,c030} > 0 or {r060,c010} > 0 or {r060,c020} > 0 or {r060,c030} > 0 or {r070,c010} > 0 or {r070,c020} > 0 or {r070,c030} > 0 or {r080,c010} > 0 or {r080,c020} > 0 or {r080,c030} > 0 or {r090,c010} > 0 or {r090,c020} > 0 or {r090,c030} > 0 or {r100,c010} > 0 or {r100,c020} > 0 or {r100,c030} > 0 or {r110,c010} > 0 or {r110,c020} > 0 or {r110,c030} > 0 or {r120,c010} > 0 or {r120,c020} > 0 or {r120,c030} > 0 Apparently the constraint also triggers an error when {r020,c070} = 0 which shouldn’t be the case according to the label and syntax of the formula. the same remark concerning v1142_m (similar formula)

wrong behaviour of constraint v1141_m (and v1142_m) (COREP: C_16.00.a)

Question

Background

Similar Q&As

More Q&As on this topic