Program menurut elisa.sf.net
-
elisa Gratis
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