update isl to version 0.25
[barvinok.git] / tests / infinite
bloba17142d1e6b176363a18cfc4b4bf0c0354c5200f
1 D 1
2 3 4
3 1 1 0 0
4 1 -1 0 10
5 1 0 1 0
6 F 0
7 -1