Programmi di elisa.sf.net

Elisa è una libreria C++ aperta per la programmazione a vincoli e le tecniche di risoluzione dei vincoli. Gli algoritmi basati su intervalli per risolvere i vincoli continui richiedono che Gaol (http://sf.net/projects/gaol)