The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
YAGARTO is a cross development environment for the ARM architecture, running on a Windows host. It includes the GNU C/C++ toolchain and the Eclipse IDE.