מִתחַנֵף אילוצים חדשים
הורד עכשיו

מִתחַנֵף דירוג וסיכום

מִתחַנֵף תגים

פּוֹתֵר דוּגמָנוּת פותר אילוץ אילוץ דוגמנות אילוץ מודלים מטריקס

מִתחַנֵף תיאור

אילוצים חדשים Minion הוא אילוצים חדשים, אשר מהר מאוד קשקשים היטב כמו גודל הבעיה גדל. תוצאות אמפיריות על אמות מידה סטנדרטיות מראות הזמנות של ביצועים מוגצרים רווחים מעל המדינה- of-the-art toolkits. אלה רווחים להגדיל עם גודל הבעיה --- Minion מספקת פתרון אילוצים להרחבה.מועדון הוא פותר אילוצים כללי, עם שפת קלט אקספרסיבית המבוססת על מכשיר אילוץ משותף של מודלים של מודלים מטריקס. התמקדות במודלי מטריקס תומכת ביישום רזה, אופטימלי ביותר. זה בניגוד עם אילוצים עכשוויים, אשר, על מנת לספק יותר דוגמנות ופתרון אפשרויות, הפכו להיות מורכבים יותר בהדרגה יותר במחיר של ביצועים ושימושיות.מועדון הוא קופסה שחורה מנקודת המשתמש, במתכוון לספק אפשרויות מעטים . זה, בשילוב עם מהירות הגלם שלה, עושה מיניון צעד משמעותי לקראת 'מודל' של Puget ולהפעיל 'פתרון אילוצים פרדיגמה) עדיין בשלב בטא של הפיתוח. באגים ניתן לצפות. עם זאת אנו משתדלים לתקן באגים מיד לאחר שהם דווחו. מה חדש במהדורה זו: הבאגים הבאים, אשר יכול היה לייצר תשובות שגויות, תוקנו: · אילוץ 'שבוי' היה מבולבל על ידי דומיינים שהכיל '0'. · שימוש במספר שלמים קרוב ל 2 ^ 32 עלולים לייצר מדי פעם תוצאות שגויות. את אילוץ השולחן המכיל 1 tuple על שום משתנים נחשב שקר, לא נכון. הבאגים הבאים, אשר לא יכלו לייצר שגיאות שגויות, תוקנו: · מערכים המכילים שום משתנים התרסקו. · אילוצים רבים התרסקו כאשר מערכים נתון של אורך 0. אילוצים טבלה גרמו לקריסות כאשר אורך הפרטים אינו שווה למספר המשתנים. השיפורים הבאים נעשו במישרון, שחלקם היו בגירסאות קודמות, אך כעת מתועדים כראוי: · כל האילוצים יכולים להיות מחדש. · שיטה יעילה של חישוב "או" של רשימה של אילוצים נוספו. · יישומים יעילים של אלדף ו- GCC (אילוץ קרדינליות גלובלי) נוספו. · מספר של אילוצים בינאריים אחרים unary נוספו. · יש עכשיו חזותית ראשונית אשר מראה (במטריצה) דומיינים / הקצאות של משתנים במהלך החיפוש. · מערכת בניית Minion עכשיו משתמשת 'CMAKE'. · התיעוד השתפר. מספר גדול של שיפורים קטנים אחרים והתאמות נעשו גם, בהתבסס על חבילת בדיקה אוטומטית הרבה יותר גדולה. שים לב כי חייט הוא לא חלק של חלוקת minion סטנדרטי יותר; הוא משוחרר בנפרד.

מִתחַנֵף תוכנה קשורה