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