Programas por elisa.sf.net

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