evalue_range_propagation: add monotonicity test
[barvinok.git] / tests / lexmin / test3i.pip
blob54eefa16a18f76b50665ef5262665d0a96d949cc
1 0 2
3 -1
5 3 5
6 1 1 0 0 -2
7 1 1 2 0 -3
8 1 1 2 3 -7