evalue_range_propagation: add monotonicity test
[barvinok.git] / tests / lexmin / sven.pip
blob86027691036a25deda30cd08e7285ad19e617c82
1 0 3
3 -1
5 2 3
6 1  1 -4
7 1 -1 10