Bastoul Websites
www.CLooG.org the Chunky Loop Generator home
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 polyhedra is reached. CLooG is designed to avoid control overhead and to produce
Not Applicable
$
8.95
www.PipLib.org the Parametric Integer Programming home
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 depends linearly on one or more integral parameters.
Not Applicable
$
8.95
