Tools

• PIP/PipLib - A parametric integer linear programming solver
• PolyLib - A library of polyhedral functions
• Clak - Critical Lattice Kernel Library
• WTC - A toolsuite to prove termination/compute WCETs
• Simplification - Simplification of Boolean Affine Formulas

• Home
• Members
• Publications
• Tools
• Intranet

---