 | تابعحلبة جديدة للحيود |
| التحميل الان | |
تابع الترتيب والملخص
الإعلانات
تابع العلامات
تابع وصف
حامل القيد الجديد العميل هو حلال حبل جديد، وهو سريع للغاية ومقاييس مثل زيادة حجم المشكلة. النتائج التجريبية على المعايير القياسية تظهر أوامر مكاسب أداء الحجم على أدوات القيد الحديثة. تزداد هذه المكاسب مع حجم المشكلات --- تقدم العميل Sloving Sloving Solving.minion Solver قيود للأغراض العامة، مع لغة إدخال تعبيرية تستند إلى جهاز النمذجة القيد المشتركة لنماذج مصفوفة المصفوفة. التركيز على نماذج مصفوفة يدعم التنفيذ العجاف للغاية الأمثل. هذا يتناقض مع مجموعات أدوات القيد الحالية، والتي، من أجل توفير خيارات نماذج وحل أكثر من أي وقت مضى، أصبحت أكثر تعقيدا تدريجيا بتكلفة كل من الأداء وسهولة الاستخدام. فينيون هو مربع أسود من وجهة نظر المستخدم، وتوفير عدد قليل من الخيارات عن عمد وبعد هذا، جنبا إلى جنب مع سرعته الخام، يجعل العميل خطوة كبيرة نحو نموذج Puget's `Studing Runding 'Constring Solving.minion لا يزال في مرحلة التطوير بيتا. يمكن توقع البق. ومع ذلك، نسعى إلى إصلاح الأخطاء على الفور بعد الإبلاغ عنها. ما الجديد في هذا الإصدار: تم إصلاح الأخطاء التالية، والتي يمكن أن تكون قد أنتجت إجابات غير صحيحة،: كان قيد القيد "الأسرى" مرتبكا بواسطة المجالات التي تحتوي على '0'. استخدام الأعداد الصحيحة بالقرب من 2 ^ 32 قد ينتج من حين لآخر نتائج غير صحيحة. يعتبر قيود الجدول التي تحتوي على 1 tuple على أي متغيرات كاذبة وغير صحيحة. تم إصلاح الأخطاء التالية، والتي لم تتمكن من إنتاج أخطاء غير صحيحة،: تحطمت المصفوفات التي تحتوي على أي متغيرات العميل. تعطل العديد من القيود عند توفير صفائف الطول 0. تسببت قيود الجدول في الأعطال عندما لا يساوي طول Tuples لعدد المتغيرات. تم إجراء التحسينات التالية إلى العميل، وبعضها كان في الإصدارات السابقة ولكن الآن موثقة بشكل صحيح: يمكن الآن إعادة بيع جميع القيود. تمت إضافة طريقة فعالة لحساب "أو" من قائمة القيود. تمت إضافة تطبيقات فعالة لل Alldiff و GCC (قيد الصندوق العالمي). تمت إضافة عدد من القيود الثنائية وغير الهوائية الأخرى. يوجد الآن مرئوظ بدائي يظهر (في مصفوفة) مجالات / تعيينات المتغيرات أثناء البحث. يستخدم نظام Build Minion الآن "CMAKE". تم تحسين الوثائق. تم إجراء عدد كبير من التحسينات الصغيرة والتعديلات الأخرى أيضا، بناء على جناح اختبار تلقائي أكبر بكثير. لاحظ أن خياط ليس جزءا من توزيع العميل القياسي بعد الآن؛ يتم إطلاق سراحه بشكل منفصل.
تابع برامج ذات صلة
