Программы elisa.sf.net

Elisa – это открытая библиотека C- для разработки методов программирования ограничений и решения проблем ограничений. Алгоритмы на основе интервалов для решения непрерывных ограничений требуют, чтобы Gaol (http://sf.net/proj