مجموعه نرم‌افزار منبع باز Google برای بهینه‌سازی، OR-Tools ، پوشش MPSolver را برای حل مشکلات برنامه‌نویسی خطی و برنامه‌نویسی عدد صحیح مختلط فراهم می‌کند.
برای حل مسائل برنامه نویسی اعداد صحیح خالص می توانید از حل کننده CP-SAT نیز استفاده کنید.
مثال ها
صفحات زیر نمونه هایی را ارائه می دهند که استفاده از MPSolver را نشان می دهد:
- حل مسئله رژیم غذایی استیگلر با استفاده از Glop
- حل مسئله LP با استفاده از Glop
- حل یک مشکل MIP با استفاده از SCIP
- حل مشکل بسته بندی بن با استفاده از SCIP
- حل یک مسئله انتساب با استفاده از CP-SAT
- استفاده از آرایه ها برای تعریف مدل
وظایف مشترک
بخش زیر وظایف رایج مربوط به حل LP و MIP را نشان می دهد.
محدودیت های زمانی
مثال زیر نحوه تنظیم محدودیت زمانی جستجوی 15 میلی ثانیه در هنگام استفاده از Glop را نشان می دهد.
پایتون
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
جاوا
solver.setTimeLimit(15)
سی شارپ
solver.SetTimeLimit(15);