Eclipse的约束逻辑编程系统6.1.164_ECLiPSe Constraint Logic Programming System 6.1.164下载地址

一组元件，库和开发工具，，约束编程应用开发和解决组合问题

约束逻辑编程系统为您提供了一个易于使用的编译器开发约束规划申请。

Eclipse的约束逻辑编程系统可用于不同的领域，如资源分配，时间表，调度，规划，数学规划和自带的组件，可以帮助你解决组合问题。