barvinok 0.41.8

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

# This example was contributed by Chih-Duo Hong <chihduo.hong@gmail.com>
{ [y] -> 1 : exists (e0 = [(y)/2]: 2e0 = y and y >= 2 and y <= 10) }