omegalib/examples/old_test/lefur01


1
2
3
4
5
6
7
8
9
10
11
12
13
14

R := { [i, j, k, l] :
  0 <= i <= 19 &&
  0 <= j <= 19 &&
  1 <= k <= 1000 &&
  -k + l >= 0 &&
  2 k - l + 1 >= 0 &&
  -200 i + k + l >= 0 &&
  200 i - k - l + 199 >= 0 &&
  -200 j - k + 2 l >= 0 &&
  200 j + k -2 l + 199 >= 0
} ;

codegen R;
codegen 2 R;