add isl_basic_set_free_equality
[isl.git] / test_inputs / convex11.polylib
blobf664114d048765c970ada143c2662679de45d21b
1 3 4
2 1 0 -1 6
3 1 -1 1 1
4 1 1 1 -10
6 3 4
7 1 1 0 -4
8 1 -1 -1 8
9 1 -1 1 1
11 3 4
12 1 0 -1 6
13 1 1 0 -4
14 1 -1 1 1