هذا هو الأمر cudf2lp الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
cudf2lp - معالج مسبق لمستندات CUDF
موجز
cudf2lp [OPTION] ... [FILE]
الوصف
cudf2lp يبسط مواصفات CUDF معينة ويحولها إلى مجموعة حقائق مناسبة لها
تتم معالجتها باستخدام أداة حل ASP وأداة حل - على سبيل المثال، غرينغو(1) و مشبك(1). إنها
المقصود أن يتم استدعاؤه من قبل أسبكود(١) لكن يجوز استعماله مستقلا.
يقرأ من الملف المحدد ومن الإدخال القياسي إذا تم حذفه.
OPTIONS
cudf2lp يدعم الخيارات التالية:
-h, --مساعدة
طباعة نص التعليمات
-v, --الإصدار
نسخة مطبوعة ومعلومات الترخيص
-V, - الإسراف[=N]
اضبط مستوى الإسهاب على N أو الحد الأقصى إذا تم حذفه
-c كريتس, --المعايير=كريتس
المعالجة المسبقة لمعايير التحسين المحددة (الإعدادات الافتراضية هي لا شيء):
كريتس: لا شيء | بجنون العظمة | العصرية | حرجة\(','حرجة\)*
حرجة : توقيع العد (طقم) |
| إشارة مجموع(طقم,ATTR)
| إشارة unsat_recommends(طقم)
| إشارة الانحياز(طقم,ATTR,ATTR)
| إشارة غير محدث(طقم)
توقيع : '+' | '-'
ATTR : اسم سمة CUDF
طقم : الحل | تغير | جديد | تمت الإزالة | فوق | تحت
| طلب التثبيت | طلب الترقية | طلب
للتوافق مع الإصدارات السابقة، يمكن استخدام الأسماء المستعارة التالية:
جديد = عدد (جديد)
تمت الإزالة = العدد (إزالة)
تغير = العد (تغير)
notuptodate = notuptodate(الحل)
unsat_recommends = unsat_recommends(الحل)
مجموع (الاسم) = مجموع (الاسم، الحل)
--إضافة الجميع
تعطيل المعالجة المسبقة وإضافة كافة الحزم
استخدم cudf2lp عبر الإنترنت باستخدام خدمات onworks.net
