إنّ حزمة البرامج المفتوحة المصدر من Google المخصّصة للتحسين، OR-Tools، توفّر برنامج تضمين MPSolver لحل مسائل البرمجة الخطية وبرمجة الأعداد الصحيحة المختلطة.
لحلّ مسائل برمجة الأعداد الصحيحة البحتة، يمكنك أيضًا استخدام أداة الحلّ CP-SAT.
أمثلة
تقدم الصفحات التالية أمثلة توضح استخدام MPSolver:
- حل مشكلة النظام الغذائي Stigler باستخدام Glop
- حل مشكلة LP باستخدام Glop
- حل مشكلة MIP باستخدام SCIP
- حلّ مشكلة متعلقة بتغليف السلال باستخدام SCIP
- حل مسألة مهمة باستخدام اختبار CP-SAT
- استخدام المصفوفات لتحديد نموذج
المهام الشائعة
يوضِّح القسم التالي المهام الشائعة ذات الصلة بحلّ ملفات LP وMIP.
الحدود الزمنية
يوضّح المثال أدناه كيفية ضبط الحدّ الأقصى لوقت البحث بمقدار 15 مللي ثانية عند استخدام Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);