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

[barvinok.git] / tests / euler / triangle_p

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

x * y