cudf2lp - מקוון בענן

תָכְנִית:

שֵׁם

cudf2lp - מעבד קדם למסמכי CUDF

תַקצִיר

cudf2lp [אוֹפְּצִיָה]... [קובץ]

תיאור

cudf2lp מפשט מפרט CUDF נתון וממיר אותו לסט עובדות המתאימות
להיות מעובד עם קרקע ופותר ASP - למשל, גרינגו(1) ו סגר(1). זה
מיועד להיקרא על ידי aspcud(1), אך ניתן להשתמש בו גם באופן עצמאי.

זה קורא מהקובץ הנתון ומקלט סטנדרטי אם מושמט.

אפשרויות

cudf2lp תומך באפשרויות הבאות:

-h, - עזרה
להדפיס טקסט עזרה

-v, --גִרְסָה
גרסת הדפסה ופרטי רישיון

-V, --מִלוּלִי[=N]
הגדר את רמת הדיבור ל N או המקסימום אם מושמט

-c CRITS, --קריטריונים=CRITS
תהליך מקדים עבור קריטריוני אופטימיזציה ספציפיים (ברירת המחדל היא ללא):
CRITS: אין | פרנואיד | טרנדי | מכה קריטית\(','מכה קריטית\)*
מכה קריטית : סימן לספור(SET) |
| סִימָן סְכוּם(SET,ATTR)
| סִימָן unsat_recommends(SET)
| סִימָן מיושר(SET,ATTR,ATTR)
| סִימָן לא מעודכן(SET)
סימן : '+' | '-'
ATTR : שם תכונה CUDF
SET : פתרון | השתנה | חדש | הוסר | למעלה | מטה
| בקשת התקנה | בקשת שדרוג | בַּקָשָׁה

עבור תאימות לאחור, ניתן להשתמש בכינויים הבאים:
חדש = ספירה (חדש)
הוסרה = ספירה (הוסרה)
השתנה = ספירה (השתנה)
notuptodate = notuptodate(פתרון)
unsat_recommends = unsat_recommends(פתרון)
sum(name) = sum(name,solution)

--הוסף הכל
השבת את העיבוד המקדים והוסף את כל החבילות

השתמש ב-cudf2lp באופן מקוון באמצעות שירותי onworks.net