Programma's van elisa.sf.net

Elisa is een open C++ bibliotheek voor beperking programmering en beperking oplossen technieken. Intervalgebaseerde algoritmen voor het oplossen van continue beperkingen vereisen dat Gaol (http://sf.net/projects/gaol) al op