lattice_width.c: skip directions that are identical up to sign

[barvinok.git] / tests / euler / square_p3

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

x * y