doc: add another paper refering to the library

[barvinok.git] / tests / empty5

D 1
7 5
   1    1    0    0    2
   1    1    5   -6    4
   1    0    0   -1   22
   1   13   60  -75  111
   1   -6  -20   25  -38
   1   -1    0    0   -1
   1    0    0    1  -20
F 0
0