update isl for support for recent clangs

[barvinok.git] / tests / euler / EML_p.pwqp

[n] -> { [x, y] -> 1 : n >= 1733 - 6795x + 2660y and 16y >= -842 + 195x and 70y >= 15 - x }