プログラム rsolver.sf.net

RSolver は、実数に対する定量的な不等式制約を解決するためのプログラムとライブラリです。不等式制約のセットを 2 次元に投影するような問題は、そのような制約として直接定式化されます。