Atur cara mengikut elisa.sf.net

Elisa adalah perpustakaan C ++ terbuka untuk pengaturcaraan kekangan dan teknik penyelesaian kekangan. Algoritma berasaskan selang untuk menyelesaikan kekangan berterusan memerlukan Gaol (http://sf.net/projects/gaol) telah d