remove bottleneck + merge
[barvinok.git] / tests / ehrhart / t31.in
blob866bfef8823cf2617a247b2586152a1306dce880
1 2 4
2 1 1 0 0         # x >= 0
3 1 -1 1 0                # x <= P
5 1 3
6 0 1 -10         P=10
9 instanciated parameter test
10 ---------------------------
11 0 <= x <= P
12 P=10
13 ---------------------------