iscc.c: avoid use of isl_token internals
[barvinok.git] / tests / euler / triangle2.pwqp
blobafda10d1a4a31d1f508e0d80b566613e55e9e8cd
1 [n] -> { [x, y] -> 1 : n >= -2 + 53x + 17y and x >= 0 and y >= 0 }