Program menurut elisa.sf.net

Elisa adalah perpustakaan C++ terbuka untuk pemrograman batasan dan teknik pemecahan batasan. Algoritma berbasis interval untuk memecahkan batasan berkelanjutan mengharuskan Gaol (http://sf.net/projects/gaol) sudah diinstal