polyparam.c: find_m_faces: collect rays of unbounded parametric polyhedra

[polylib.git] / Test / pp / salvatore_new1.in

3 4
#   x    a   cte
1   1   -1    0 # x >= a
1  -1    1    1 # x <= a+1
1   1    0    0 # x >= 0


0 3

a