Programas por elisa.sf.net

Elisa é uma biblioteca C++ aberta para técnicas de programação de restrição e resolução de restrições. Algoritmos baseados em intervalos para resolver restrições contínuas exigem que o Gaol (http://sf.net/projects/gaol) já e