Programy według eclipseclp.org
-
ECLiPSe CLP Wolna
System programowania logiki ograniczeń ECLiPSe jest przeznaczony do rozwiązywania problemów optymalizacji kombinatorycznej, do rozwoju nowej technologii solver ograniczeń i ich hybryd, a także do nauczania modelowania, rozwią