Merge branch 'maint'
[isl.git] / test_inputs / linearExample.pwqp
blob24c53946a0b879fb17e439a07696be9ca9b638a3
1 [N, M, L] -> { [i, j, k] -> ((1/2 * i + 5 * j) + 1/7 * k) : i >= 0 and k >= -N + i and k >= -M - j and j <= L + i and L >= 0 and L >= -M }