add isl_set_remove_unknown_divs
[isl.git] / test_inputs / convex7.polylib
blob70eb483175bc920c8b8c83f2a9b5b65b4f56cceb
1 1 4
2 0 0 1 0
4 2 4
5 1 1 -1 1
6 1 -1 -1 1
8 1 4
9 1 0 -1 1