- Ilog solver, logiciel dédié à la programmation par contraintes
- Suite Logicielle Hyperworks pour l’optimisation topologique et géométrique
- Suite Logicielle Vortex pour la simulation de robots mobiles en environnement aquatique ou terrestre
- MAGIC pour la vérification et manipulation de fichier STL