[BUG] Choco-solver 4.10.13: missing solution

chocoteam / choco-solver

An open-source Java library for Constraint Programming

http://choco-solver.org/

BSD 4-Clause "Original" or "Old" License

687 stars 137 forks source link

[BUG] Choco-solver 4.10.13: missing solution #1035

Closed matsc-at-sics-se closed 1 year ago

matsc-at-sics-se commented 1 year ago

$ cat lat.mzn
include "globals.mzn";
var 1..2: A;
var 3..4: B;
var 3..4: E;
constraint
  maximum_arg([E,B,1,4],A);

$ minizinc --solver choco -a lat.mzn
A = 1;
B = 3;
E = 4;
----------
A = 2;
B = 4;
E = 3;
----------

There is another solution, A = 1, B = E = 4.

cprudhom commented 1 year ago

Hi Mats

Can you tell me which version of choco was used in this test?

matsc-at-sics-se commented 1 year ago

I compiled from sources. The latest commit seems to be c40190021. Sorry, I got the version number wrong, it should be 4.10.13.

cprudhom commented 1 year ago

This one is little more complex. I found a quick fix by disabling incrementing. But I'd like to keep it and I think there's something wrong with the original article.