Programy według elisa.sf.net

Elisa to otwarta biblioteka C++ do programowania ograniczeń i technik rozwiązywania ograniczeń. Algorytmy interwałowe do rozwiązywania ograniczeń ciągłych wymagają, aby Gaol (http://sf.net/projects/gaol) jest już zainstalowa