isl_map_simplify.c: check_for_div_constraints: also check for "better" ones
[platform/upstream/isl.git] / test_inputs / sven.pip
1 0 3
2
3 -1
4
5 2 3
6 1  1 -4
7 1 -1 10