ECLiPSe Constraint Logic Programming System
Development framework including code generator and UML ex/import
A modeling tool for software engineers (OO)
Code generation from UML to any language (Java, Objective-C, PHP...)
Repository for dependencies between software design artefacts
The easiest C++ way to deal with constraints !
Constraint Logic can solve word logic puzzles.