gecode

引入输出语句时MiniZinc找不到解决方案

我有一个用 minizinc 编写的简单模型我使用 gecode 首先将其编译为 flat zinc 来解决它作为输入模型采用一些常量数组和矩阵二维数组的形式模型的输出是另一个必须满足一些约束的二维矩阵目标优化是最小化目标

minizinc gecode