this repo has no description
dekker.one
1include "fzn_roots.mzn";
2include "fzn_roots_reif.mzn";
3
4/** @group globals
5 Requires that \a x[\p i] in \a t for all \p i in \a s
6*/
7predicate roots(array[int] of var int: x, var set of int: s,
8 var set of int: t) =
9 assert(ub(s) subset index_set(x),
10 "roots: upper bound of 's' must be a subset of the index set of 'x'",
11 fzn_roots(x,s,t)
12 );