omegalib/examples/old_test/lift2


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

I1 := { [i,j,k,l,m] : 5 <= i <= 60 && 1 <= j,k,l,m <= 100 };
I2 := { [i,j,k,l,m] : 1 <= i,j,k,l,m <= 100 };

codegen 0 I1,I2;

#default
codegen 1 I1,I2;

codegen 2 I1,I2;

codegen 3 I1,I2;

codegen 4 I1,I2;

codegen 5 I1,I2;