barvinok 0.41.8

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

[U] -> { [V] -> ((1/3 * U + 2/3 * V) - [(U + 2V)/3]) :
         2V >= -3 - U and 2V <= -U and U >= 0 and U <= 10 }