חבילת תוכנות הקוד הפתוח של Google לאופטימיזציה, OR-Tools – מספק את ה-wrapper של MPSolver לפתרון של תכנות לינארי בעיות שקשורות לתכנות של מספרים שלמים מעורבים.
כדי לפתור בעיות תכנות של מספרים שלמים בלבד אפשר להשתמש פותר CP-SAT.
דוגמאות
בדפים הבאים יש דוגמאות שממחישות את השימוש ב-MPSolver:
- פתרון בעיית התזונה של סטיגלר באמצעות Glop
- פתרון בעיה בדפי LP באמצעות Glop
- פתרון בעיות ב-MIP באמצעות SCIP
- פתרון בעיה באריזה של תיקיות אחסון (bin Pack) באמצעות SCIP
- פתרון בעיות במטלה באמצעות CP-SAT
- שימוש במערכים להגדרת מודל
משימות נפוצות
בקטע הבא מוצגות משימות נפוצות שקשורות לפתרון דפי נחיתה וקובצי MIP.
מגבלות זמן
הדוגמה הבאה מראה איך להגדיר מגבלת זמן חיפוש של 15 אלפיות השנייה כאשר: באמצעות Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);