evalue_isl.c: add_guarded_qp: drop unused variable
[barvinok.git] / tests / ehrhart / isnm2.in
blob499ef70191f68444f02cb58e6022833c74c578ad
2 6 8
3 #  i  j  k  l   P  Q
4 0  3  0  2  1  -1  0   0        # 3i + 2k + l = P
5 0  4 -1  3  2   0 -1   0        # 4i - j + 3k + 2l = Q
6 1  1  0  0  0   0  0   0
7 1  0  1  0  0   0  0   0        # i,j,k,l >= 0
8 1  0  0  1  0   0  0   0
9 1  0  0  0  1   0  0   0
11 2 4
12 1  1  0   0             # P,Q >= 0
13 1  0  1   0
15 P Q
16 ISNM2 example