this repo has no description
dekker.one
1predicate fzn_cost_mdd_reif(array[int] of var int: x, % variables constrained by MDD
2 int: N, % number of nodes root is node 1
3 array[int] of int: level, % level of each node root is level 1, T is level length(x)+1
4 int: E, % number of edges
5 array[int] of int: from, % edge leaving node 1..N
6 array[int] of set of int: label, % values of variable on edge
7 array[int] of int: cost, % cost of using edge
8 array[int] of int: to, % edge entering node 0..N where 0 = T node
9 var int: totalcost, % total cost of path
10 var bool: b % reification variable
11 ) =
12 abort("Reified cost_mdd/9 is not supported.");