小编use*_*403的帖子

我已经为我正在解决的标签问题创建了一个模型.除了找不到'all_different'谓词之外,一切都很好.在'Constraints'(2)和(3)中出现错误,产生以下错误日志:

MiniZinc: type error: no function or predicate with this signature found: `all_different(array[int] of var int)'

我已经尝试过'all_different'和'alldifferent',并且var int'的关键签名'array [int]匹配'all_different'的文档.在评论出约束之后我没有其他问题.

知道什么可能是错的吗？

我正在使用MiniZincIDE版本0.9.8.

%%%%%%%%%%%%%%%%%%%%%%%%%
% Parameter Definitions %
%%%%%%%%%%%%%%%%%%%%%%%%%

% Number of Solutions for Region
int: num_sols;

% Number of Adjacent Coordinates.
int: num_adj;

% Center Coordinate Name
string: center_name;

% Adjacent Coordinate Names.
array[1..num_adj] of string: adj_names;

% Center Coordinate Torsion Angles.
array[1..6] of float: center_tors;

% Adjacent Coordinate Torsion Angles.
array[1..num_adj,1..6] of float: adj_tors;

% Distances Between Solutions of Center …