iscc: add operations on booleans
[barvinok/uuh.git] / tests / ehrhart / e16.in
blob31a32496744a2dbd782101448cf21c5a26d50a8d
1 # example 13
2 #  i  j  k  n  m  p cons
3 7 8
4 1  1  0  0  0  0  0  0
5 1 -3  0  0  1  0  0  0
6 1  0  1  0  0  0  0  0
7 1  2 -2  0  0  1  0  0
8 1  0  0  1  0  0  0  0
9 1  1  0 -4 -1  0  1  0
10 1  1  0 -4 -1  0  0  100
12 3 5
13 1           1  0  0  0
14 1           0  1  0  0
15 1           0  0  1  0
17 n m p
18 example 13