this repo has no description
dekker.one
1predicate fzn_neural_net_reif(array[int] of var float: inputs,
2 array[int] of int: input_ids,
3 array[int] of var float: outputs,
4 array[int] of int: output_ids,
5 array[int] of float: bias,
6 array[int] of float: edge_weight,
7 array[int] of int: edge_parent,
8 array[int] of int: first_edge,
9 NEURON_TYPE: neuron_type,
10 var bool: b) =
11 abort("Reification of neural_net constraint is not supported");