 | 駐車場制約ベースのシステムとアプリケーションを開発するための携帯性、アクセス可能で効率的な環境。 |
| 今すぐダウンロード | |
駐車場 ランキングとまとめ
広告
駐車場 タグ
駐車場 説明
制約ベースのシステムやアプリケーションを開発するための、ポータブルアクセス、および効率的な環境。 Gecodeは、制約ベースのシステムを開発するため、アクセスポータブル、および効率的な環境であり、applications.Gecodeはプログラミングするための根本開かれている、それは簡単に他のシステムとインターフェースすることができることを意味します。それは戦略を分岐し、（制約の実装として）新しいプロパゲータのプログラミングをサポートし、engines.New可変ドメインを検索Gecodeであらかじめ定義されてきた有限ドメインと整数セット変数として効率の同じレベルでプログラムすることができます。ここで「Gecode」のいくつかの主要な機能は次のとおりです。 カーネル： ・Gecodeのカーネルは、新しい（制約と分岐の実装などプロパゲータを含む）可変ドメインおよび検索エンジンを構築するための包括的なプログラミング・インタフェースを提供します。これは、スリムである（コードの1000行程度）と新しい可変ドメインを追加したり、検索エンジンのための修正やハッキングを必要としません。 検索： ・Gecodeで検索を再計算し、コピーに基づいています。高度な技術は、適応（さらに検索までの速度）とバッチの再計算を（大幅に再計算時の伝播を低減）が含まれます。現在、Gecodeはいくつかのソリューションは、最適化（分岐限定）、および限られた不一致検索（詳細）の検索をサポートしています。並列スレッドベースの検索は、現在開発中です。 有限ドメインの制約： ・Gecodeは、一般的なカーネルの上に実装有限ドメイン制約が付属しています。明確な（alldifferent、両方の境界とドメイン一貫性のある）、グローバルなカーディナリティ（境界とドメイン一貫性の両方）、要素、cumulatives、定期的に、sortedness、及びLEX：それは、このような算術演算、ブール、線形方程式、およびなどのグローバルな制約などの標準的な制約を提供しています。 （例として、上記の制約との完全なソースコードが利用可能であるように特に）新しい制約と分岐を追加することは簡単です。 有限集合の制約： ・Gecodeまた、有限の整数セット変数を提供します。標準セットの関係や操作が制約として使用可能であり、加えて、このような有限のドメインや有限集合変数を接続するセット、選択の制約、加重セット、および制約の明瞭のための凸部、グローバル推論などの一部の特殊な制約。有限ドメインの制約については、ライブラリは、簡単に新しい制約と分岐して拡張することができます。 基本的なモデリングのサポート： ・Gecodeが簡単でモデルにすることにしていないインタフェースやすいように設計されているにもかかわらず、それはいくつかの基本的なモデリングのサポートが付属しています。式として標準的な方法で、線形およびブール制約を表現する。この支持体は、数字と演算子からビルド。 このリリースの新機能： ・このリリースでは、（デビッドRijsman、Quintiqによって寄与）シーケンス制約を追加し、いつものようにいくつかの小さな追加や修正があります。 ・カーネル ・ バグの修正 ・+ STLデータ構造のための宇宙ベースのアロケータのための不足している代入演算子を追加しました。 （マイナー、グスタボ・グティエレスのおかげで） ・ サーチエンジン ・ バグの修正 ・+（3.2.0が分岐限定検索のためにそれを修正しなかったため、以前のフィックス）時には低すぎる可能性が報告されたメモリ。 （マイナー） ・有限ドメインの整数 ・追加 ・+シーケンスの制約を追加しました。 （メジャー、デビッドRijsmanで貢献） ・ バグの修正 ・+グローバルカーディナリティ（数）の制約は今の値のソートされていない配列を受け入れます。配列がソートされていなかった場合は、以前に間違って伝播しました。 （マイナー、アルベルト・デルガドのおかげで） ・+グローバルなカーディナリティのためICL_VALプロパゲータでバグを修正しました。 （マイナー） ・+定数ビューへの加入は、回避処理にフラグを尊重しませんでした。 （マイナー） ・有限整数セット ・ バグの修正 ・+定数ビューへの加入は、（実際には発生しなかった）回避処理にフラグを尊重しませんでした。 （マイナー） ・スクリプトのコマンドライン・ドライバ ・追加 検索エンジンが停止された場合・+レポート。 （マイナー） ・レンジと値イテレータ ・その他の変更 ・+「比較」の範囲イテレータのサブセットまたは互いに素のためのテストを改名。 （マイナー） ・スクリプトの例 ・追加 ・+車のシーケンス例（CSPLib問題1）を追加しました。新しいシーケンス-制約を使用します。 （マイナー） ・Gecode / FlatZinc ・ バグの修正 ・+変数配列内の定数とサポートの検索注釈。 （マイナー、Hのおかげ？館Kjellerstrand） （問題は、おそらく実際には起こらないように、通常mzn2fznによって生成されていない）ブール変数で使用した場合・+ set_inとset_in_reif制約がバグだらけでした。 （マイナー） ・+ Global_Cardinalityの制約は、Minizince Semanticsと完全に互換性がありませんでした。 これは、アレイに記載されていない値がゼロの発生を持つように制限されます。 （マイナー） ・+要素の制約は、MZN2FZN変換でエラーを生み出しました。 （メジャー、H？Kan KjellerStrandのおかげで）
駐車場 関連ソフトウェア
