lib/string.in.h: copy __restrict handling from lib/argp.h

[barvinok.git] / tests / euler / square_p

#variables x,y
x -2 >= 0
-x + n + 3 >= 0
y -4 >= 0
-y +5 >= 0

x * y