Fix std/fzn_bin_packing_[capa|load]_reif.mzn

MiniZinc · Nov 21, 2020 · 61887e6 · 61887e6
1 parent ca334e5
commit 61887e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/share/minizinc/std/fzn_bin_packing_capa_reif.mzn b/share/minizinc/std/fzn_bin_packing_capa_reif.mzn
@@ -8,7 +8,7 @@ predicate fzn_bin_packing_capa_reif(array[int] of int: c,
       )
     /\
       forall( assigned_bin in index_set(c) ) (
-            c[b] >= sum ( i in index_set(bin) ) (
+            c[assigned_bin] >= sum ( i in index_set(bin) ) (
                 w[i] * bool2int( bin[i] = assigned_bin )
             )
       ));

diff --git a/share/minizinc/std/fzn_bin_packing_load_reif.mzn b/share/minizinc/std/fzn_bin_packing_load_reif.mzn
@@ -8,7 +8,7 @@ predicate fzn_bin_packing_load_reif(array[int] of var int: load,
             min(index_set(load)) <= bin[i] /\ bin[i] <= max(index_set(load))
         )
     /\  forall( assigned_bin in index_set(load) ) (
-            load[b] = sum ( i in index_set(bin) ) (
+            load[assigned_bin] = sum ( i in index_set(bin) ) (
                 w[i] * bool2int( bin[i] = assigned_bin )
             )
         ) );