search

chocoteam / choco-solver

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

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

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 1..1 union 6..6: B;
var 1..1 union 6..6: D;
constraint
  minimum_arg([D,B,7,5],A);

$ minizinc --solver choco -a lat.mzn 
A = 1;
B = 6;
D = 1;
----------
A = 2;
B = 1;
D = 6;
----------

There is a third solution: A = B = D = 1.

cprudhom commented 1 year ago

related to #1035