barvinok 0.41.5

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

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