Sarl Bastoul Villar, renovation de toiture et charpente, ossatures bois et zinguerie à Estavar 66, menuiserie générale Estavar 66

This is the web page of CLooG, a software and a library generating loops for scanning Z-polyhedra. That is, CLooG finds the code or pseudo-code with which each integral point of one or more parameterized polyhedra or union of parameterized pol

This is the web page of PIP and PipLib, a software and a library which solves parametric integer programming problems. That is, PIP finds the lexicographic minimum of the set of integer points lying inside a convex polyhedron, when this polyhedron de