标签： minizinc
我想“帮助”求解器并预先选择一些对象，基本上选择N个最大值。像这样：
N = 2;
max（[0,1,2,3]，2）-> [2,3];可以在这里设置；
有可能吗？除了修改该解决方案以基于第二个数组\ set选择值之外，还有可能吗？