wallaroo フリーとオープンソースのリニア制約解決ライブラリ
今すぐダウンロード

wallaroo ランキングとまとめ

wallaroo タグ

解決する ソルバー 制約 最適化図書館 制約ソルバー 線形制約

wallaroo 説明

無料でオープンソースの線形の線形拘束解決図書館 Wallarooは有理数を超える線形制約のための無限の精密制約解決と最適化ライブラリです。 これが "Wallaroo"のいくつかの重要な機能です： ・無限の精度。 Wallarooooは、GNU Multiprecisionライブラリを使用して有理数を表します。 ・等級（=）、不等式（、）、厳密な不等式（）、不等式（∞）を処理できます。 ・インクリメンタル。 すべてのものを再計算せずに、ソルバーから制約を追加（および削除）し、結果として生じるシステムを再度解くことが可能です。 ・競合セットの生成。 システムが実行不可能な場合は、矛盾する制約の最小セットを計算できます。

wallaroo 関連ソフトウェア