Under the hood, what algorithms does Google OR-tools support?
From adjacent questions, I saw someone as this question and the answer linked to this repo. However, these sources just show how to use Google OR-tools to solve problems, not explain something akin to "we support Ant Colony optimization for problems A, B and C."
I really have no idea if, on the backend, OR-tools is using established heuristic algorithms or if the developers introduced some/many novel algorithms that don't appear elsewhere in literature and/or popular solvers.