parmprog.ps.Z : Paul Feautrier "Parametric Integer Programming"