开发者 eclipseclp.org

ECLiPSe约束逻辑编程系统旨在解决组合优化问题，开发新的约束求解器技术及其混合，并用于建模、求解和搜索技术的教学。