search

chocoteam / choco-solver

An open-source Java library for Constraint Programming
http://choco-solver.org/
BSD 4-Clause "Original" or "Old" License
683 stars 137 forks source link

[BUG] MiniZinc/Choco 231102, `aaa1ae7b9`, `minimum_arg`, wrong solution #1077

Closed matsc-at-sics-se closed 5 months ago

matsc-at-sics-se commented 5 months ago

The 4th solution is wrong.

$ cat /tmp/latest.mzn
include "globals.mzn";
var 1..3: C;
var 1..2: E;
constraint minimum_arg([C,C],E);
$ minizinc -a --solver choco /tmp/latest.mzn
%% Choco 231102
C = 3;
E = 1;
----------
C = 1;
E = 1;
----------
C = 2;
E = 1;
----------
C = 2;
E = 2;
----------
cprudhom commented 5 months ago

Thank you for the bug reporting