barvinok 0.41.5

[barvinok.git] / tests / pwqp / hong1.pwqp

{ [y] -> 1 : exists (e0 = [(y)/2]: 2e0 = y and y >= 2 and y <= 10) }