PIP is a linear, integer, parametric programming code which is specially optimized to meet the needs of static program analysis (dependence calculations, dataflow analysis, scheduling, u.s.w.)
Pip is an all-integer code. A rough guess is that intermediate results need about n time the number of bits needed by the largest coefficient in the constraint matrix, where n is the number of variables. Hence, there are 3 versions of Pip:
Originally separate, the three versions have been combined into one source by Cédric Bastoul. You can download the whole package by clicking here.
If you are not familiar with Pip, you might want to look at its modus operandi first.