dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / roots_fn.mzn
at develop 315 B view raw
1include "roots.mzn"; 2 3/** @group globals 4 Returns \a s such that \a x[\p i] in \a t for all \p i in \a s 5*/ 6function var set of int: roots(array[int] of var int: x, 7 var set of int: t) :: promise_total = 8 let { var set of index_set(x): s; 9 constraint roots(x,s,t) } 10 in s;