RSolver は、実数に対する定量的な不等式制約を解決するためのプログラムとライブラリです。不等式制約のセットを 2 次元に投影するような問題は、そのような制約として直接定式化されます。
バージョン履歴
- バージョン rsolver に転記 2011-01-21
いくつかの修正と更新 - バージョン N/A に転記 2011-01-21
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: rsolver.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows