barvinok 0.41.5
[barvinok.git] / tests / ehrhart / t31.in
blob0b8ce8d24c1d5ccc8a09298f5a411807a6721219
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 ---------------------------