ECLiPSe Constraint Logic Programming System
A free cross-platform editor for the DRAKON visual language.
Code generation from UML to any language (Java, Objective-C, PHP...)
The easiest C++ way to deal with constraints !
Constraint Logic can solve word logic puzzles.