 | נסיכהמשפט חינם עבור prithburger אריתמטיקה |
| הורד עכשיו | |
נסיכה דירוג וסיכום
פרסומת
- רישיון:
- GPL
- מחיר:
- FREE
- שם המפרסם:
- Philipp Rummer
- אתר האינטרנט של המוציא לאור:
- http://www.philipp.ruemmer.org/
- מערכות הפעלה:
- Mac OS X
- גודל הקובץ:
- 308 KB
נסיכה תגים
נסיכה תיאור
משפט חינם עבור אריתמטי פרסבורגר הנסיכה היא משפט קוד פתוח ופתוח פתוח עבור אריתמטי presburger עם נפרדים לא נפרדים. משמעות הדבר היא כי הנסיכה יכולה סיבה על בעיות של מספר שלם אריתמטיקה ללא כפל (רק כפל עם מספריים שלם מותר), augmented עם predicates שיכול להיות axiomatised שרירותי. בעיות כאלה יכולות להכיל כרכויים שרירותיים להביע כי נוסחה מסוימת אמורה להחזיק עבור כל או עבור מספרים שלמים מסוימים. דרישות: · ג 'אווה 1.5 ואילך · מהדר עבור גירסה Scala 2.7 או מאוחר יותר מה חדש במהדורה זו: · קבוע כמה באגים והוסיף כמה אופטימיזציות
נסיכה תוכנה קשורה
