add isl_set_lower_bound_val and isl_set_upper_bound_val
[platform/upstream/isl.git] / test_inputs / convex5.polylib
1 2 4
2 0 1 0 -2
3 0 0 1 -6
4
5 2 4
6 0 1 0 -1
7 0 0 1 -4
8
9 3 4
10 0 -2 1 -2
11 1  1 0 -1
12 1 -1 0  2