駐車場 制約ベースのシステムとアプリケーションを開発するための環境
今すぐダウンロード

駐車場 ランキングとまとめ

駐車場 タグ

発達 発展させる 開発環境 アプリケーション開発 制約 制約開発

駐車場 説明

制約ベースのシステムとアプリケーションを開発するための環境 GeCode（Generic Constraint Development Environment）は、制約ベースのシステムとアプリケーションを開発するためのオープン、ポータブル、フリー、アクセス可能、および効率的な環境です。検索、有限ドメイン整数制約などのモジュールの上の一般的なカーネルONが提供されています。 "Gecode"の主な機能は次のとおりです。 ・開く：Gecodeはプログラミングのために根本的に開きます：それは他のシステムと簡単にインターフェースすることができます。それは（制約の実装として）、分岐戦略、および検索エンジンのプログラミングをサポートしています。新しい可変ドメインは、有限ドメインと同じレベルの効率で、GeCodeで事前定義されている整数セット変数をプログラムできます。 ・無料：GeCodeはMITライセンスの下に配布され、FSFによって無料のソフトウェアとして表示されます。ドキュメンテーション、グローバルな制約の実装など、そのすべての部分、および例はダウンロードのためのソースコードとして利用可能です。 ・Portable：GeCodeはC ++で実施されているため、C ++規格に慎重に続きます。最新のC ++コンパイラでコンパイルすることができ、幅広いマシン（64ビットマシンを含む）で実行できます。 ・アクセス可能：Gecodeには、GeCodeを使用したさまざまなプログラミングタスクに集中することができる広範な参照ドキュメントが付属しています。近い将来、さまざまなプログラミング作業を説明するチュートリアルの資料をより詳細に解放するつもりです。 ・効率的：Gecodeは、ランタイムとメモリ使用量の両方に関して競争力のあるパフォーマンスを提供します。他のシステムとの比較が利用可能です。 このリリースの新機能： カーネル： バグの修正： ・STLデータ構造用のスペースベースの割り当て子に欠落している割り当て演算子を追加しました。 （マイナー、Gustavo Gutierrezのおかげで） サーチエンジン： バグの修正： ・報告されているメモリは時々低すぎる可能性があります（前の修正は3.2.0の修正は分岐とバインド検索には修正されませんでした）。 （マイナー） 有限ドメイン整数： 追加： ・シーケンス制約を追加しました。 （専攻、David Rijsmanによる貢献） バグの修正： ・Global Cardinality（Count）の制約は、値の未ソート配列を受け入れます。配列がソートされていない場合は、以前は誤って伝播しました。 （マイナー、Alberto Delgadoのおかげで） ・グローバルカーディナリティのためのICL_VAL伝播子のバグを修正しました。 （マイナー） ・処理を避けるために、一定のビューへの購読はフラグを称えなかった。 （マイナー） 有限整数セット： バグの修正： ・一定の視点への購読は処理を避けるためにフラグを尊重しなかった（実際には発生しませんでした）。 （マイナー） スクリプトコマンドラインドライバ： 追加： ・検索エンジンが停止したかどうかを報告します。 （マイナー） 範囲とバリューイテレータ： その他の変更点： ・「比較」する範囲反復子のサブセットまたは廃止さの名前の変更。 （マイナー） スクリプトの例： 追加： ・カーシーケンスの例（CSPLIBの問題1）。新しいシーケンス制約を使用します。 （マイナー） Gecode / Flatzinc： バグの修正： ・変数配列内の定数を持つ検索注釈をサポートします。 （マイナー、H？Kan Kjellerstrandのおかげで） ・Boolean変数で使用すると、Set_inとset_in_reifの制約はバグが発生しました（通常はMZN2FZNによって生成されていません。これにより、問題はおそらく実際には発生しません）。 （マイナー） ・Global_Cardinalityの制約は、Minizince Semanticsと完全に互換性がありませんでした。これは、アレイに記載されていない値がゼロの発生を持つように制限されます。 （マイナー） ・拒否された位置の要素制約は、MZN2FZN変換にエラーを生み出しました。 （メジャー、H？Kan KjellerStrandのおかげで）

駐車場 関連ソフトウェア