update polylib for make distclean fixes

[barvinok.git] / tests / euler / triangle.pwqp

{ [x, y] -> x * y : x >= 2 and y <= 7 - x and y >= 4 }