4

Microsoft Solver Foundation for CLP を使用することの欠点は何ですか? ソルバーは Express/Standard バージョンである程度サポートされていますが、最も基本的な制約プログラミング以上のものを達成するには、高価な Gurobi / Knitro アドオンを購入する必要があると想像できます。

Solver の CLP 機能を純粋に考慮した場合、Solver は ECLiPSe と比べてどうですか?

4

2 に答える 2

3

主な欠点は、ここで説明されているように、Microsoft Solver Foundation がスタンドアロン製品として廃止されたことです。

ユーザーが指摘したように、Nate が去って以来、Microsoft は Solver Foundation フォーラムに積極的に参加していません。リストラと計画を進めている間、私たちは沈黙を守ってきました。私たちが静かすぎたと言う人もいます。Solver Foundation の将来を知りたがっている、非常に忠実で熱狂的なユーザーがいることは承知しています。そこで、Solver Foundation に関する私たちの計画について、長らく待ち望まれていた声明を発表します。

MSF の現在の 3.1 リリースは、スタンドアロン インストールとしての最後のリリースになります。Microsoft Solver Foundation をより大きな分析フレームワークに統合して、ユーザーが処方的分析と予測的分析の両方を構築できるように取り組んでいます。この新製品がリリースされ次第、皆様にご利用いただけるようになることを楽しみにしています。この新製品は、現在の Solver Foundation ユーザーとパートナーに移行パスを提供します。

新しい製品がリリースされるまで、MSF について話し合うために、現在のフォーラムを引き続きコミュニティに公開したいと考えています。ただし、Microsoft は、この移行期間中にフォーラムを監視し、バグ修正を提供するという点で、MSF の限定的なサポートを提供します。

私たちは電子メールに返信してきましたが、今後もそうします。問題/バグ/改善についてフィードバックがある場合は、msfsupport@microsoft.com からフィードバックをお待ちしております。新しい分析製品に関する今後の発表については、フォーラムを再度確認してください。

一方、 ECLiPSe プロジェクトは、かなりの数の出版物を持つ制約プログラミングの分野で、より確立されたプロジェクトのようです。また、オープン ソースであるため、ベンダー ロックインの可能性はありません。

次のことも検討することをお勧めします。

于 2012-07-05T03:42:02.960 に答える
0

Re: モデル サイズ、Solver Foundation Express (基本「無料」バージョン) の場合:

  • 線形計画法または二次計画法 50,000 個の非ゼロ
  • 混合整数計画法 - 1,000 個の変数、1,000 個の制約、および 5,000 個の非ゼロ
  • 制約プログラミング - 合計 5,000 項
  • 非線形プログラミング - 無制限

Standard バージョンは容量が約 2 倍で、Enterprise/Academic バージョンは「無制限」で、使用するコア/CPU に実際の制限はありません。

Re: 利点 Solver Foundation の大きな (IMHO) 利点は、モデルを定義するためのオブジェクト モデル アプローチです。C# またはバインドしている任意の言語で、プログラムによってモデルを簡単にセットアップできます。また、必要に応じて AMPL および MPS 入力を使用することもできます。私が使用していないカスタム モデル定義言語 (OML) もありますが、かなり良さそうです。

Re: 不利な点 それがあなたにとって重要な場合、あなたは独自のセットアップに縛られています。GNU LP については、GLPKを調べてください。20K を超える制約モデルをいくつか投入しましたが、問題はありませんでした。かなりアクティブなユーザー グループがいます。

From: Solver Foundation のインストール

于 2011-02-27T08:07:41.667 に答える