プログラム wallaroo.sf.net

ワラルーは、有理数に対する線形拘束のための無限精度制約解決および最適化ライブラリです。等価性(=)、不平等(<=、>=)、厳格な不平等(<、>)、および不等質(!=)を処理します。