[BUG] Choco-solver 4.10.13: wrong 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

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

matsc-at-sics-se commented 1 year ago

The following model should fail, but it succeeds.

$ cat lat.mzn
include "globals.mzn";
constraint not all_equal([2,2]);

$ minizinc --solver choco lat.mzn
----------

cprudhom commented 1 year ago

Commit a60d3b25fb8e7cfb150ab64ef7437118d4da4dda fixes the issue. @matsc-at-sics-se thank you for the bug report