avoid use of isl_ctx internals

[barvinok.git] / testsets / itsl2008-2 / pugh

4 4
1 11 13 -27
1 -11 -13 45
1 7 -9 10
1 -7 9 4

E 2
P 0