this repo has no description
dekker.one
1include "fzn_inverse_set.mzn";
2include "fzn_inverse_set_reif.mzn";
3
4/** @group globals.channeling
5 Constrains two arrays of set of int variables, \a f and \a invf, so that
6 a \p j in f[\p i] iff \p i in invf[\p j]. All the values in each array's sets
7 must be within the index set of the other array.
8*/
9predicate inverse_set(array[int] of var set of int: f,
10 array[int] of var set of int: invf) =
11 fzn_inverse_set(f,invf);