barvinok 0.41.8
[barvinok.git] / tests / ehrhart / t3.in
blob28b3bd24d09e21ec40e008114e74d3e4ec86ab70
1 2 4
2 1 1 0 0         # x >= 0
3 1 -2 1 0                # x <= P
5 1 3
6 0 1 -11         # P=11
9 instanciated parameter test
10 ---------------------------
11 0 <= x <= P
12 P=10
13 ---------------------------