开发者 elisa.sf.net

Elisa 是一个C++和约束求解技术的开放式库。 用于解决连续约束的基于间隔的算法http://sf.net/projects/gaol已安装在您的系统上。