?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add some tests for Euler-Maclaurin based summation
[barvinok.git] / tests / euler / EML_p
blob940903c25adcfa046ae5326e0e2f6e69256f97a6
1 #variables x,y
2 3 x + 210y -43 >=0
3 6795 x -2660y +n -1733 >= 0
4 -1365 x +112y +5899 >= 0
5
6 1
lattice point enumeration library