?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update isl to version 0.11
[barvinok.git] / testsets / itsl2008-2 / woods_2.1.7
blobe400db59d50fcf483ac6d4d3bb031e45a4f3123e
1 4 5
2 1  -2    0    1    5  ]
3 1   2    0    1    5  ]
4 1   0   -2   -1    5  ]
5 1   0    2   -1    5  ]
6
7 E 2
8 P 1
lattice point enumeration library