2

次の minizinc モデルがあります。

include "globals.mzn";
var 0..9: A_1_1;
var 0..9: A_2_1;
var 0..9: A_3_1;
constraint (A_3_1+A_2_1+A_1_1) = A_1_1;
solve satisfy;

モデルには自明な解 0=A_1_1=A_2_1=A_3_1 が必要です。ただし、Gecode やその他のソルバーは、これを満足できないと報告しています。

私は何を見落としていますか？

4

2 に答える 2