ECLiPSe es un sistema de software para el desarrollo y la implementación de aplicaciones de programación lógica con restricciones, p. ej., en las áreas de optimización, planificación, programación, asignación de recursos, elaboración de horarios, transporte, etc. También es adecuado para enseñar la mayoría de los aspectos de la resolución de problemas combinatorios, p. ej., modelado de problemas, programación con restricciones, programación matemática y técnicas de búsqueda. Contiene bibliotecas de solucionadores de restricciones, un lenguaje de modelado y control de alto nivel, interfaces con solucionadores de terceros, un entorno de desarrollo integrado e interfaces para la integración en entornos anfitriones.
- Inception
- 1992
- Website
- http://eclipseclp.org/