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] fzn-choco, multiply, wrong solution #1041

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

matsc-at-sics-se commented 1 year ago

Choco 4.10.13.

Choco says A = 2, B = -2, which is wrong.

var {-4,-1,2}: A;
var {-2,-1}: B;
constraint A*B=A;
cprudhom commented 1 year ago

Related to #1045