this repo has no description
dekker.one
1predicate fzn_inverse_set_reif(array[int] of var set of int: f,
2 array[int] of var set of int: invf,
3 var bool: b) =
4 b <-> (
5 forall(i in index_set(f)) (
6 f[i] subset index_set(invf)
7 ) /\
8 forall(j in index_set(invf)) (
9 invf[j] subset index_set(f)
10 ) /\
11 forall(i in index_set(f), j in index_set(invf)) (
12 (j in f[i] <-> i in invf[j])
13 )
14 );