this repo has no description
dekker.one
1predicate fzn_disjunctive_strict_opt_reif(array[int] of var opt int: s,
2 array[int] of var int: d,
3 var bool: b) =
4 b <-> ( forall (i in index_set(d)) (d[i] >= 0) /\
5 forall (i,j in index_set(d) where i<j) (
6 absent(s[i]) \/ absent(s[j]) \/
7 deopt(s[i])+d[i] <= deopt(s[j]) \/
8 deopt(s[j])+d[j] <= deopt(s[i])
9 )
10 );