Google OR-Tools помогает решать задачи комбинаторной оптимизации, работает на разных языках программирования.