this repo has no description
dekker.one
1include "fzn_subcircuit.mzn";
2include "fzn_subcircuit_reif.mzn";
3
4/** @group globals
5 Constrains the elements of \a x to define a subcircuit where \a x[\p i] = \p j
6 means that \p j is the successor of \p i and \a x[\p i] = \p i means that \p i
7 is not in the circuit.
8*/
9predicate subcircuit(array[int] of var int: x) =
10 fzn_subcircuit(x);
11
12predicate subcircuit_reif(array[int] of var int: x, var bool: b) =
13 fzn_subcircuit_reif(x, b);
14
15%-----------------------------------------------------------------------------%