جاسود بيئة تطوير النظم والتطبيقات القائمة على القيد
التحميل الان

جاسود الترتيب والملخص

جاسود العلامات

تطوير طور البيئة التطويرية تطوير التطبيقات قيد تطوير القيد

جاسود وصف

بيئة لتطوير النظم والتطبيقات المستندة إلى القيد Gecode (عام بيئة تطوير القيد) هي بيئة مفتوحة، المحمولة، حرر، يمكن الوصول إليها، وفعالة لوضع نظم القائم على القيد وapplications.Gecode يضم نواة العامة وعلى رأسها وحدات مثل البحث، ونطاق محدود صحيح القيود، وهكذا وتقدم جرا. وهنا بعض الملامح الرئيسية "Gecode": فتح: Gecode مفتوح جذريا للبرمجة: يمكن ربطه بسهولة مع الأنظمة الأخرى. وهو يدعم برمجة الدعاة الجدد (كما تنفيذ القيود)، المتفرعة الاستراتيجيات، ومحركات البحث. يمكن برمجتها المجالات متغير جديد على نفس المستوى من الكفاءة كمتغيرات نطاق ومجموعة صحيح المحدودة التي تأتي مسبقا مع Gecode. مجانا: يتم توزيع Gecode تحت رخصة MIT ومدرجة على قائمة والبرمجيات الحرة من قبل مؤسسة البرمجيات الحرة. كما تتوفر شفرة المصدر لتحميل جميع أجزائه بما في ذلك الوثائق، تطبيقات للقيود العالمية، والأمثلة على ذلك. المحمولة: يتم تنفيذ Gecode في C ++ الذي يتبع بدقة مستوى C ++. ويمكن جمعها مع المجمعين الحديثة C ++ ويعمل على مجموعة واسعة من آلات (بما في ذلك آلات 64bit) عن. يمكن الوصول إليها: Gecode يأتي مع وثائق مرجعية واسعة تسمح للتركيز على المهام البرمجة المختلفة مع Gecode. في المستقبل القريب، ونحن نعتزم الافراج عن وثائق البرنامج التعليمي شرح مهام البرمجة المختلفة بمزيد من التفاصيل. الكفاءة: Gecode يقدم أداء تنافسية فيما يتعلق بكل من وقت التشغيل واستخدام الذاكرة. مقارنة مع بعض الأنظمة الأخرى المتوفرة. ما الجديد في هذا الإصدار: نواة: اصلاحات الشوائب: وأضاف في عداد المفقودين عامل التعيين لموزعي الفضائية لهياكل البيانات STL. (قاصر، وذلك بفضل غوستافو غوتيريز) محركات البحث: اصلاحات الشوائب: ذاكرة ذكرت يمكن أن يكون في بعض الأحيان منخفض جدا (الإصلاح السابق لل3.2.0 لم إصلاحه لفرع والبحث المربوطة). (تحت السن القانوني) الأعداد الصحيحة نطاق محدود: الإضافات: وأضاف تسلسل القيد. (الكبرى، التي ساهمت ديفيد Rijsman) اصلاحات الشوائب: القيد أصل العالمي (العد) يقبل الآن صفائف لم يتم فرزها من القيم. ومن نشرها سابقا بشكل غير صحيح إذا لم يتم فرز مجموعة. (قاصر، وذلك بفضل البرتو دلغادو) علة ثابتة في داعية ICL_VAL لأصل العالمي. (تحت السن القانوني) الاشتراك في وجهات النظر ثابتة لم تحترم العلم لمعالجة تجنب. (تحت السن القانوني) مجموعات صحيح محدودة: اصلاحات الشوائب: الاشتراك في وجهات النظر ثابتة لم تحترم العلم لمعالجة تجنب (لم يحدث في الواقع). (تحت السن القانوني) النصي سائق سطر الأوامر: الإضافات: تقرير إذا تم إيقاف محرك البحث. (تحت السن القانوني) مجموعة وقيمة المكررات: تغييرات أخرى: اختبار إعادة تسمية لفرعية أو disjointness من المكررات مجموعة ل"مقارنة". (تحت السن القانوني) مخطوطات سبيل المثال: الإضافات: وأضاف سيارة التسلسل سبيل المثال (1 مشكلة في CSPLib). يستخدم جديد تسلسل القيد. (تحت السن القانوني) Gecode / FlatZinc: اصلاحات الشوائب: الشروح دعم البحث مع الثوابت في صفائف متغيرة. (قاصر، وذلك بفضل H؟ اساسه Kjellerstrand) وكان set_in وset_in_reif القيود عربات التي تجرها الدواب عند استخدامها مع متغيرات منطقية (والتي عادة ما تكون غير الناتجة عن mzn2fzn ذلك أن المسألة ربما لا يحدث في الواقع). (تحت السن القانوني) وكان القيد global_cardinality غير متوافق تماما مع دلالات MiniZinc. فإنه تقييد القيم لم يرد ذكرها في مجموعة لديها صفر الحوادث، بينما في MiniZinc أنها غير المقيد. (تحت السن القانوني) أنتجت القيود عنصر في المواقف يتجسد خطأ في الترجمة mzn2fzn. (الكبرى، وذلك بفضل H؟ اساسه Kjellerstrand)

جاسود برامج ذات صلة