barvinok 0.41.8

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

# This example was contributed by Chih-Duo Hong <chihduo.hong@gmail.com>
{ [y1,y2] -> 1 : exists x : 1<=x<=5 and 2*x=y1+y2 and 10>=y1,y2>=0}