buildtools/isl/test_inputs/devos.pwqp

2 lines
111 B
Plaintext
Raw Normal View History

2014-01-27 21:38:34 +01:00
[U] -> { [i0] -> ((1/3 * U + 2/3 * i0) - [(U + 2i0)/3]) : 2i0 >= -3 - U and 2i0 <= -U and U >= 0 and U <= 10 }