В настоящее время я оцениваю googles или-tools и просто заметил, что это на самом деле не решатель сам по себе, а в основном интерфейс для других решателей. Я хотел бы знать, какие решатели использует эта структура для проблем с ограничениями и маршрутизацией.
Я уже внимательно просмотрел https://developers.google.com/optimization/, но нашел только что
- для линейной оптимизации используется Google GLOP с открытым исходным кодом.
- для оптимизации сетевого потока, похоже, используется собственный решатель («OR-Tools предоставляет несколько решателей для проблем сетевого потока в своих библиотеках графов»).
- для смешанного целочисленного программирования по умолчанию используется программа с открытым исходным кодом "COIN OR branch & cut" (но можно интегрировать SCIP, GLPK и Gurobi)
Но на сайтах информации / руководств по CP и VRP нет никаких указаний на то, какой решатель используется для этих проблем ...
Кто-нибудь знает, какой решатель используется для CSP / VRP, или вы нашли что-то, что я перечитал?