From hartmut_henkel at gmx.de  Sun Jun  7 11:17:46 2026
From: hartmut_henkel at gmx.de (Hartmut Henkel)
Date: Sun, 7 Jun 2026 11:17:46 +0200 (CEST)
Subject: [SCIP] [zimpl] nested IF statement
Message-ID: <fa05c552-0e35-4d82-f5c1-2eb3a8f58df4@hahepc1.hahe>

Hello,

it seems that an IF statement in a combined constraint must be first:

param x := 1.3;
param a := 1;
param b := 0;
var y >= 5;
var d;
var i integer;
minimize slack: d;
subto ok:
  if (a == 1) then
        if (b == 1) then d == i end
    and y == x * d
  end;
subto not_ok:
  if (a == 1) then
        y == x * d
    and if (b == 1) then d == i end
  end;

Is this intentional?

Best Regards
Hartmut