dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / geas / fzn_value_precede_int.mzn
at develop 298 B view raw
1predicate fzn_value_precede_int(int: s, int: t, array[int] of var int: x) = 2 let { 3 var index_set(x): pos_s; 4 constraint forall (i in index_set(x)) ( 5 (pos_s <= i) -> (x[i] = s) \/ (pos_s < i) 6 ); 7 } in forall(i in index_set(x)) ( 8 (x[i] = t) -> (pos_s < i) 9 );