تابع حامل القيود السريع والقابل للتطوير
التحميل الان

تابع الترتيب والملخص

تابع العلامات

يحل حلالا قيد القيد سيلفر حل القيد محلول بارع

تابع وصف

سريع وحافة القيود الحلال العميل، هو حلال عائق جديد، وهو سريع للغاية ومقاييس مثل زيادة حجم المشكلة. النتائج التجريبية على المعايير القياسية تظهر أوامر مكاسب أداء الحجم على أدوات القيد الحديثة. تزداد هذه المكاسب مع حجم المشكلات --- تقدم العميل Sloving Sloving Solving.minion Solver قيود للأغراض العامة، مع لغة إدخال تعبيرية تستند إلى جهاز النمذجة القيد المشتركة لنماذج مصفوفة المصفوفة. التركيز على نماذج مصفوفة يدعم التنفيذ العجاف للغاية الأمثل. هذا يتناقض مع مجموعات أدوات القيد الحالية، والتي، من أجل توفير خيارات نماذج وحل أكثر من أي وقت مضى، أصبحت أكثر تعقيدا تدريجيا بتكلفة كل من الأداء وسهولة الاستخدام. فينيون هو مربع أسود من وجهة نظر المستخدم، التي تأتي عمدا معها خيارات قليلة جدا. هذا، جنبا إلى جنب مع سرعته الخام، يجعل العميل خطوة كبيرة نحو نموذج حلبة Puget's `Run Tolving. ملاحظة: العميل لا يزال في مرحلة تطوير بيتا من التطوير. يمكن توقع البق. ما الجديد في هذا الإصدار: تحسينات: تم تنظيف التعليمات البرمجية وحكمت لتكون مفهومة أكثر سهولة وقابلة للتعديل يتم توفير المزيد من المعلومات في وضع المعلومات بعض bugfixs الطفيفة تحسينات الأداء: محددة الشيكات لمتغيرات المنطقية هي أكثر كفاءة يتم تحليل ملفات الإدخال بشكل أسرع تغييرات أخرى: يوفر نظام الإنشاء الآن إجراء أهداف لتشغيل الاختبارات لا يتم البناء في Direcotry الرئيسي بعد الآن، ولكن في دليل منفصل (بمعنى أنه يمكنك الحصول على العديد من المباني المختلفة من نفس المصدر كما تريد) أفضل دعم cygwin

تابع برامج ذات صلة