Parametric Integer Programming Library