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

[barvinok.git] / tests / euler / square_p2

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

x * y