bib: Add Feautrier's parametric integer programming