xref: /llvm-project/polly/lib/External/isl/test_inputs/devos.pwqp (revision 52a25237d894fd5736a90f11df2c5c9391d13fd5)

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