?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add generic isl_pw_qpolynomial_bound
[barvinok.git] / tests / triangle
blobe70844e363cf1968d74fdbda767c6294981c22fd
1 D 1
2 3 4
3    1   2  -1   0
4    1   0   1   0
5    1  -2  -3   8
6 F 0
7 8
lattice point enumeration library