Minizinc似乎会生成无效的FZ代码

Question

我的模型中有以下部分：

constraint forall(d in Day, s in Student)
(
  let {
    %groups in day
    array[int] of var opt Group: gid = [g | g in assignment[s] where group_day[g] == d];
    %groups starts in day
    array[int] of var opt Time: gsid = [group_start[g] | g in gid];
    %groups ends in day
    array[int] of var opt Time: geid = [group_end[g] | g in gid];
    %groups durations in day
    array[int] of var opt Time: gdid = [group_duration[g] | g in gid];
    var opt Time: min_start = min(gsid);
    var opt Time: max_end = max(geid);
    var opt Time: sum_dur = sum(gdid);
    var opt int: time = ((max_end - min_start) - sum_dur);
  } in
  wasted_time_units[d,s] = deopt(time)
);

我一直在尝试通过从模型中删除opt数据类型来使其正常工作，从而使整个gid删除检测到的模型不一致错误。固定和DEOPTING gid数组工作起来，但是sigsment是一个变量，因此产生了无效的输出。最终，我到达了上面显示的模型，它通过了类型检查，但是现在我遇到了一个隐秘的错误：

Error: Unknown character in line no. 1914
Error: Unknown character in line no. 1914
Error: Unknown character in line no. 1914
Error: syntax error, unexpected '(', expecting FZ_ID in line no. 1914

下面我附加了Flatzinc输出（在方括号中使用线号）：

[1913] constraint int_lin_eq([1,1,1,-1],[X_INTRODUCED_894_,X_INTRODUCED_908_,X_INTRODUCED_922_,X_INTRODUCED_955_],0):: defines_var(X_INTRODUCED_955_);
[1914] constraint '-'(X_INTRODUCED_954_,X_INTRODUCED_952_,X_INTRODUCED_956_):: defines_var(X_INTRODUCED_956_);
[1915] constraint '-'(X_INTRODUCED_956_,X_INTRODUCED_955_,X_INTRODUCED_957_):: defines_var(X_INTRODUCED_957_);
[1916] constraint int_ne_reif(X_INTRODUCED_963_,0,X_INTRODUCED_962_):: defines_var(X_INTRODUCED_962_);

错误是什么意思，如何可以我避免吗？ Minizinc似乎正在生成无效的FZ代码。

Answer 1

通过修补微型解决方案解决了问题。

在这里处理问题：

https://github.com/minizinc/minizinc/libminizinc/588 开发分支，问题消失了！