 | パルマPolyehedraライブラリParma Polyehedraライブラリは、数値抽象化を提供する最新のC ++ライブラリです。 |
| 今すぐダウンロード | |
パルマPolyehedraライブラリ ランキングとまとめ
広告
パルマPolyehedraライブラリ タグ
パルマPolyehedraライブラリ 説明
Parma Polyehedraライブラリは、数値抽象化を提供する最新のC ++ライブラリです。 パルマPolyehedraライブラリーは、特に複雑なシステムの検証の分野におけるアプリケーションで特に標的とされている数値抽象化を提供する最新のC ++ライブラリです。PPLは、有限数の交差点として定義できるすべての凸状多面体を取り扱うことができます（開いているか、または閉じた閉）HyperSpacesは、合理的な係数を持つ平等または不平等（厳格な）によって説明されています.PPLはまた、興味深い複雑さ/精密トレードオフを提供するポリエードラの制限されたクラスを処理します。ライブラリは、シンプレックスアルゴリズムの正確な算術版で解決された、（任意の種類の）多面体および線形プログラミングの問題の有限の電力セットをサポートします。 （詳細はPPLの内部メカニズムで利用可能です。）Parma Polyhedraライブラリは次のとおりです。ユーザーフレンドリー（X + 2 * Y + 5 * Zを書くこのリリースの新機能：Full Changelogを読む] ・GMP 4.3.0を正しく検出します。 ・Cインターフェイスライブラリのバージョン情報を修正しました。 ・ZSeries S390Xプラットフォームでは、プログラムテスト/ Polyehedron / Memory1が無効になっています。 ・Make -Nチェックの失敗を避けるためにメイクファイルを修正しました。
パルマPolyehedraライブラリ 関連ソフトウェア
