 | سكرحامل القيد القائم على SAT |
| التحميل الان | |
سكر الترتيب والملخص
الإعلانات
- رخصة:
- BSD
- السعر:
- FREE
- اسم الناشر:
- Naoyuki Tamura
- موقع ويب الناشر:
- http://bach.istc.kobe-u.ac.jp/tamura.html
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 603 KB
سكر العلامات
سكر وصف
السكر هو حلال مجاني ومفتوح المصدر لمشكلة رضاء خطي خطي محدود (CSP) أو مشكلة تحسين القيود (COP) .Sugar ترميز المشكلات في مشاكل اختبار لراض منطقية (SAT) وحل مشكلة SAT باستخدام خارجي Sat Solver.The تستخدم أداة السكر طريقة ترميز SAT جديدة تسمى "ترتيب ترميز". في ترميز الطلب، مقارنة X
سكر برامج ذات صلة
installgen.
Installgen ينفذ ممارسات Oracles لأكثر من 100 مهام مطلوبة عند إجراء تثبيت خوادم قاعدة بيانات Oracle ...
2.2 MB
خادم سير العمل IPM
خادم Workflow IPM هو خادم معالجة الصور باستخدام المجلدات الساخنة وملفات المواصفات التي تم إنشاؤها بواسطة تطبيقات العميل ...
76.3 MB
pardeikes ترحيب
يمكن أن يتعامل المكون الإضافي عبر الإنترنت (WSAPI) مع استضافة المجال الافتراضي، وتقارير المرور الحية، وقابلية قابلية AppleScript. ...
806 KB