프로그램별 eclipseclp.org

ECLiPSe 제약 로직 프로그래밍 시스템은 결합 최적화 문제를 해결하고, 새로운 제약 솔버 기술과 하이브리드의 개발, 모델링, 해결 및 검색 기술을 가르치기 위해 설계되었습니다.