search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
275 stars 76 forks source link

fzn-gecode, mod, wrong solutions #170

Open matsc-at-sics-se opened 1 year ago

matsc-at-sics-se commented 1 year ago

On Ubuntu 22.04.2 LTS.

The following model is unsat, but fzn-gecode finds several wrong solutions:

var -5 .. 5: A;
var -5 .. 5: B;
constraint A mod B=B;
solve :: int_search([A,B], input_order, indomain_median) satisfy;