temporarily make isl_val_int_from_isl_int available
[platform/upstream/isl.git] / test_inputs / convex3.polylib
1 1 4
2 1 1 1 -6
3
4 3 4
5 1 1 1 -3
6 1 1 0 -5
7 1 -1 0 10
8
9 1 4
10 1 1 1 -3