adapt to deal with existential variables

[barvinok.git] / tests / supporting1

D 1
6 5
1   1   0   0  -1 
1  -1  -1   0   2 
1  -1   0   1   1 
1   0   1   0   0 
1   2   1  -1  -2 
1   0   0  -1   1 

F 0
4