barvinok 0.41.8

[barvinok.git] / tests / iscc / count / kristof4

P :=
3 4
   0   0   2 -509
   1   2   0  -3
   1  -2   0 507

;
assert((card P) = { });