search

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] MiniZinc/Choco 240130, `c90bf40a9`, `count`, wrong solutions #1081

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

matsc-at-sics-se commented 8 months ago 
$ cat /tmp/latest.mzn
include "globals.mzn";
var 1..2: B;
var {0,3}: E;
var {1,3}: F;
constraint count([0,1,F,E,1],B) = F;
$ minizinc -a /tmp/latest.mzn
=====UNSATISFIABLE=====
$ minizinc -a --solver choco /tmp/latest.mzn
%% Choco 240130
B = 1;
E = 0;
F = 3;
----------
B = 1;
E = 3;
F = 3;
----------
cprudhom commented 8 months ago

Thank you for the bug reporting.