this repo has no description
dekker.one
1include "inverse.mzn";
2
3/** @group globals.channeling
4 Given a function \a f represented as an array, return the inverse function.
5*/
6function array[int] of var int: inverse(array[int] of var int: f) =
7 let {
8 array[lb_array(f)..ub_array(f)] of var index_set(f): invf;
9 constraint inverse(f,invf);
10 } in invf;