?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
evalue_range_propagation: add monotonicity test
[barvinok.git] / tests / euler / triangle2
blobdf65cbf1d59dd78ae060b08028f1c39acab96d94
1 #variables x,y
2 x >= 0
3 y >= 0
4 -53x -17y + n + 2 >= 0
5
6 1
lattice point enumeration library