プログラム elisa.sf.net

Elisa は、制約プログラミングと制約解決の手法のためのオープン C++ ライブラリです。 連続的な制約を解決するための間隔ベースのアルゴリズムでは、Gaol (http://sf.net/projects/gaol) が既にシステムにインストールされている必要があります。