add transitive closure example from Kelly's 1996 paper
[isl.git] / test_inputs / convex10.polylib
blob3d58cbf70e13d63764e41e1b4a09a66ced6f6c86
1 3 4
2 1 54 1 -4
3 1 2 -1 58
4 1 0 -1 6
6 4 4
7 1 54 1 -4
8 1 2 -1 58
9 1 0 1 -7
10 1 -4 1 0
12 4 4
13 1  54    1   -4
14 1   2   -1   58
15 1   0   -1  116
16 1   0    0    1