- 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
- Aspic – Invariant generator