프로그램별 elisa.sf.net

Elisa는 제약 조건 프로그래밍 및 제약 조건 해결 기술을 위한 개방형 C++ 라이브러리입니다. 연속 제약 조건을 해결하기 위한 간격 기반 알고리즘은 Gaol(http://sf.net/projects/gaol)이 시스템에 이미 설치되어 있어야 합니다.