1 Avispa: Integración de paradigmas orientado objetos y satisfacción de restricciones en un ambiente visual

2 "CRISOL":crisol Laboratorio de Tecnologías de Programación por Restricciones para el PTSC

3 Construcción de un Software de Ayuda para la Toma de Decisiones de Vertimiento de Agua en la Represa del Alto Anchicayá

4 Contraintes en OM

5 "PATHOS":pathos : Automatización de asignación de horarios y aulas en universidades utilizando programación por restricciones

6 "CRE2":cre2 : Reconfiguración de Redes de Distribución de Energía Eléctrica usando Programación por restricciones

7 "XRI":xri : Sistema de restricciones sobre intervalos para "mozart":http://www.mozart-oz.org

8 Formalismos de concurrencia para ayuda a la composición musical