this repo has no description
dekker.one
1% testing generating a random list of integers
2int: n = 10;
3array[1..n] of int: coeff1 = [ uniform(1,10) | i in 1..n];
4array[1..n] of int: coeff2 = [ uniform(1,10) | i in 1..n];
5array[1..n] of int: coeff3 = [ uniform(1,10) | i in 1..n];
6array[1..n] of var 0..n: x;
7
8constraint
9trace("coeff1 = "++show(coeff1)++"\n") /\
10trace("coeff2 = "++show(coeff2)++"\n") /\
11trace("coeff3 = "++show(coeff3)++"\n");
12
13constraint sum (i in 1..n) (coeff1[i]*x[i]) <= n*10;
14constraint sum (i in 1..n) (coeff2[i]*x[i]) <= n*4;
15constraint sum (i in 1..n) (coeff3[i]*x[i]) >= n*5;
16
17solve satisfy;