search

Gecode / gecode

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

fzn-gecode, inverse, error instead of solution #171

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 has one solution, but fzn-gecode reports an error instead.

include "globals.mzn";
var 1..3: C;
var 3..4: D;
var 1..3: E;
var 1..2: F;
var 3..5: G;
var 2..2 union 4..6: J;
var 1..2: K;
constraint inverse([J,C,E,5,D,2],[C,6,K,G,4,F]) :: domain;
solve :: int_search([C,D,E,F,G,J,K], input_order, indomain_min, complete) satisfy;