evalue_isl.c: add_guarded_qp: drop unused variable

[barvinok.git] / tests / ehrhart / t3.in

2 4
1 1 0 0         # x >= 0
1 -2 1 0                # x <= P

1 3
0 1 -11         # P=11

P
instanciated parameter test
---------------------------
0 <= x <= P
P=10
---------------------------