this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 objective: 4
7 a: [0,0,2,2]
8 rem: 2
9***/
10
11function int: forceN(array[int] of var int: x, int: n) =
12 let {
13 constraint forall(i in 1..n) ( x[i] = 0 );
14 } in length(x) - n;
15
16array[1..4] of var 0..2: a;
17var int: rem;
18constraint rem = forceN(a, 2);
19
20solve maximize sum(a);